Marc Poulhiès's repositories
pouetpouet-board
DIY ortholinear keyboard with pure Rust or Ada firmware
ada-lang-io
An Open Source Community site for Ada
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
alire-index
Community index for the Alire project
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
crosstool-ng
A versatile (cross-)toolchain generator.
FitTrackee
Self-hosted outdoor activity tracker :bicyclist:
KallistiOS
A pseudo-operating system for the Sega Dreamcast. This repository is a mirror of the official SourceForge repository for KOS.
kallistios_ada_runtime
Minimal Ada/SPARK run-time for embedded or other restricted targets
programming-with-ada
A guide for learning about the Ada Programming Language.
PyCortexMDebug
A set of GDB/Python-based utilities to make life debugging ARM Cortex M processors a bit easier
Rust-Flashcards
Over 550 flashcards to learn Rust from first principles. Written in markdown with script to convert them to an Anki deck or PDF file.
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
usb_embedded
An Ada USB stack for embedded devices