dkm

pouetpouet-board

DIY ortholinear keyboard with pure Rust or Ada firmware

ada-dreamcast-helloworld

click

Ada crate to build firmware for mechanical keyboard

pouetpouet-board-r2

fittrackee-cli-rs

opensmtpd-filter-tag

gccrs

Rust Front-end to GCC

ada-lang-io

An Open Source Community site for Ada

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

adventofcode

alire-index

Community index for the Alire project

bat

A cat(1) clone with wings.

ce-rs

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:

gdb-binutils

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

keyberon

A rust crate to create a pure rust keyboard firmware.

last-location

prezto

The configuration framework for Zsh

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

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.

stm32f0x2_hal-ada

Storage_Model_Tests

usb_embedded

An Ada USB stack for embedded devices