Repositories list

• devops-website

  Public
  HTML

  •0•2•0•5•Updated Feb 24, 2026Feb 24, 2026

• cc-devcontainer

  Public
  Devcontainer for the "Compiler Construction" lecture

  Shell

  •

  MIT License

  •0•0•0•0•Updated Feb 15, 2026Feb 15, 2026

• pygments-arm

  Public
  Pyments lexer for ARM Assembly language

  Python

  •

  Apache License 2.0

  •3•0•1•0•Updated Dec 2, 2025Dec 2, 2025

• machine-a-sirops-explora

  Public
  JavaScript

  •2•0•0•1•Updated Sep 16, 2025Sep 16, 2025

• typst-templates

  Public
  Typst Templates

  0•0•0•0•Updated Aug 29, 2025Aug 29, 2025

• programmation-zero

  Public
  HTML

  •0•0•0•5•Updated Jul 1, 2025Jul 1, 2025

• projetu

  Public
  Python

  •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

• embsys-target-disco-heiafr

  Public
  C

  •0•0•0•0•Updated Feb 19, 2024Feb 19, 2024

• mkdocs-edu-howto

  Public
  hacktoberfest

  CSS

  •3•8•0•9•Updated Dec 20, 2023Dec 20, 2023

• embsys-disco-gfx

  Public
  C

  •0•0•0•0•Updated Feb 28, 2023Feb 28, 2023

• embsys-bme280

  Public
  C++

  •0•0•0•0•Updated Feb 15, 2023Feb 15, 2023

• mkdocs-edu

  Public
  Dockerfile

  •0•0•0•7•Updated Feb 9, 2023Feb 9, 2023

• projetu-devcontainer

  Public
  Python

  •0•0•0•0•Updated Feb 2, 2023Feb 2, 2023

• wowchemy-hugo-themes

  Public
  🔥 Hugo website builder, Hugo themes & Hugo CMS. No code, build with widgets! 创建在线课程，学术简历或初创网站。

  SCSS

  •

  MIT License

  •2.9k•0•0•0•Updated Aug 20, 2022Aug 20, 2022

• starter-hugo-academic

  Public template
  🎓 Hugo Academic Theme 创建一个学术网站. Easily create a beautiful academic résumé or educational website using Hugo, GitHub, and Netlify.

  TeX

  •

  MIT License

  •6.5k•0•0•0•Updated Aug 14, 2022Aug 14, 2022

• scoop-bucket

  Public
  Apache License 2.0

  •0•0•0•0•Updated Jul 22, 2022Jul 22, 2022

• homebrew-tap

  Public
  Apache License 2.0

  •0•0•0•0•Updated Jul 22, 2022Jul 22, 2022

• embsys-lobaro-coap

  Public
  Port of the lobaro coap library to mbed for use with platformio

  C

  •

  MIT License

  •0•0•0•0•Updated Jun 1, 2022Jun 1, 2022

• embsys-http

  Public
  HTTP Module for Embedded Systems lecture

  C

  •0•0•0•0•Updated May 30, 2022May 30, 2022

• embsys-mbed-mqtt

  Public
  C

  •

  Other

  •0•0•0•0•Updated May 1, 2022May 1, 2022

• embsys-esp32-driver

  Public
  C++

  •1•0•0•0•Updated Apr 25, 2022Apr 25, 2022

• gfx-fontconvert

  Public
  C

  •0•0•0•0•Updated Mar 23, 2022Mar 23, 2022

• mkdocs-edu-poetry

  Public
  0•0•0•0•Updated Feb 24, 2022Feb 24, 2022

• embsys-disco-bsp

  Public
  C

  •0•0•0•0•Updated Feb 19, 2022Feb 19, 2022

• gpp-docker

  Public
  Dockerfile

  •0•0•0•0•Updated Jan 29, 2022Jan 29, 2022

• pandoc-le

  Public
  Dockerfile

  •0•0•0•1•Updated Jan 29, 2022Jan 29, 2022

• book-preprocessor

  Public
  Dockerfile

  •0•0•0•0•Updated Jan 28, 2022Jan 28, 2022

• kalidocker

  Public
  Kali docker used with the GNS3 net emulator

  Dockerfile

  •0•0•0•0•Updated Sep 30, 2021Sep 30, 2021

• temporal-still

  Public
  Verification and validation of temporal formulas based on boolean signals.

  TypeScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 5, 2021Feb 5, 2021

• perolles90

  Public
  HTML

  •0•0•0•0•Updated Feb 1, 2021Feb 1, 2021