Pilot course for Robotics 101: Computational Linear Algebra

Scots Army Knife for electronics

Embedded Controller firmware for the Framework Laptop

Flashing tools for VW AG control units over UDS. Compression, encryption, RSA bypass, and checksums are supported for Simos18.1/6/10, DQ250-MQB, DQ381-MQB, and Haldex4Motion-Gen5-MQB.

Graded exercises for nMigen (WIP)

Copyleftist's Standard Cell Library

Ergonomic keyboard layout generator

An open source cross-platform USB stack for embedded system

Arduino EEPROM programmer

rusefi - GPL internal combustion engine control unit

Yosys Open SYnthesis Suite

Open source ARM Cortex-M microcontroller library

OCaml Bitstring - bitstring matching for OCaml