yannishuber

pass-ulauncher

Ulauncher pass extension

automated-backup

drivers

TinyGo drivers for sensors and other devices that use I2C, SPI, GPIO, ADC, and UART interfaces.

cmsis-svd

Aggegration of ARM Cortex-M CMSIS SVDs and related tools

dotfiles

config files for zsh, vim, git

semester-project-6

Using a Modern Language for Bare Metal Programming on RISC-V

cyp_haskell_proofs

Trying out proving simple Haskell programs using CYP proof checker.

docker-openjfx8

Docker image based on the openjdk-8 image with JavaFX support

esp-idf

Espressif IoT Development Framework. Official development framework for Espressif SoCs.

fleurslaclairiere

fmfp-summary

fp-ps

infseclab

latex-mimosis

A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis

lescombattes

pid-controller

A simple PID controller written in C

studiov9

template-assignment-eth

tinygo

Go compiler for small places. Microcontrollers, WebAssembly, and command-line tools. Based on LLVM.

tinygo-site

Web site for TinyGo project.

tinyhci

TinyGo Hardware Continuous Integration system

vscode-arm-debugging

This repository contains the necessary Visual Studio Code configuration files to debug the ARM TI AM3358 via J-Link.