Jeremy Grosser

openbsd-driver-ena. OpenBSD driver for AWS Elastic Network Adapter

proven_components. Reusable components formally proven to the highest possible levels.

inflate. a DEFLATE / zlib / gzip / ZIP decoder in SPARK

mucheckstack. Ada

org.freedesktop.Sdk.Extension.gnat15. Shell

3d-prints. OpenSCAD

community-bb-runtimes. Ada/SPARK runtimes for a variety of bare-metal embedded targets

libsap. Asynchronous message-passing for protocol stacks in SPARK

preFlight. preFlight slicer - no ordinary fork

calculator_emulator. A Javascript simulacrum of a TI-30Xa.

wide-mcu-breadboard. Breadboards for Wide Microcontrollers – Pico & ESP32

z80ai. Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage computer.

UsbGpib. Versatile, cheap and portable USB to GPIB converter (USBTMC class based)

lasv. LLMs for Ada Semantic Versioning

NVRHI. C++

Gameboy-MBC5-MBC1-Hybrid. Gameboy CPLD implementation of MBC5/MBC1 Hybrid

Cheetah-MX4-Mini. A powerful yet compact 3D printer motherboard that supports TMC stepsticks, fans, heaters, screens and thermistors

quill. An open-source, Qt-based eBook reader for Kobos (and other devices).

classic-mac-patterns. 8×8-pixel B&W patterns from the original Macintosh System 1

syn. Ada source code generator

rp-runtimes. Ada/SPARK runtimes for the Raspberry Pi RP2040 and RP2350

cosmos. OpenC3 COSMOS

picocalc_lua. A minimal port of Lua for the PicoCalc

c500. a single pass c compiler in 500 lines of python

RepRapMicron. μRepRap - A 3D printer project designed to work at the micron scale

pep. Prediction-Encoded Pixels - a tiny yet powerful single-header pixel art compression method that focuses on size

ada-bar-codes. Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

aws-graviton-getting-started. Helping developers to use AWS Graviton2, Graviton3, and Graviton4 processors which power the 6th, 7th, and 8th generation of Amazon EC2 instances (C6g[d], M6g[d], R6g[d], T4g, X2gd, C6gn, I4g, Im4gn, Is4gen, G5g, C7g[d][n], M7g[d], R7g[d], R8g).

pbkdf2. Ada

strictdoc. Software for technical documentation and requirements management.

postfix_calc. A verified postfix calculator

spark-process. A process for Ada/SPARK software to meet ISO 26262

turbo-110. Put an XDS110 into CMSIS-DAP 2.0 mode

picocalc_lua. A minimal port of Lua for the PicoCalc

rust2ada. A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.

furnace. a multi-system chiptune tracker compatible with DefleMask modules

meta-ada. Meta layer for Yocto which adds support for Ada.

slothy. Assembly super-optimization via constraint solving

tl. The compiler for Teal, a typed dialect of Lua

progress64. PROGRESS64 is a C library of scalable functions for concurrent programs, primarily focused on networking applications.

pgb1-ada-sdk. Software Dev Kit for Ada on the PGB-1

noise-nugget-ada-sdk. Ada Software Development Kit for the Noise Nugget

open-r1. Fully open reproduction of DeepSeek-R1

TinyZero. Minimal reproduction of DeepSeek R1-Zero

CherryUSB. CherryUSB is a tiny and beautiful, high performance and portable USB host and device stack for embedded system with USB IP

Cuik. A Modern C11 compiler (STILL EARLY)

gpibusb-pcb. PCB KiCAD project files

autosetup. A better, faster autoconf replacement

Quaternions. An Ada library to support using quaternions.

iterators. Functional iterators for Ada 2012

kernel. Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions

advent_of_code_2024. 2024 Advent of Code (in Alan)

advent_of_code_2024. Advent of Code, 2024 (in Rust)

advent-of-code. Solutions to the adventofcode.com puzzles

advent-of-code-2024. Doing AoC-2024 in Ada and not succeeding at it :)

aoc2024. My Advent of Code 2024 attempt

nrf52-runtimes. Ada/SPARK run-times for nRF52 SoCs

LemcUSB. A purely software based USB peripheral for ARM Cortex M0+ devices

mcuboot. Secure boot for 32-bit Microcontrollers!

meta-adacore. [WIP] Layer to enable gcc ada support

qmk-artsey. They official ARTSEY.io QMK Firmware Source

dawn. Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new

trlc. Treat Requirements Like Code

betty-epd. e-Ink Display Driver for masses.

JinTP. Ada parser for Jinja2 templates

sokol. minimal cross-platform standalone C headers

PrusaAIO. All-in-One Marlin firmware for your 32-bit Prusa MK2.5S & MK3S/+ Bear!

tinyjit. Educational JIT compiler for ARM64 in Zig.

writing-a-c-compiler-tests. Test cases for Writing a C Compiler

Hazard3. 3-stage RV32IMACZb* processor with debug

Image_IO. Output in BMP, PPM, and QOI formats; input in BMP, GIF, JPG, PNG, PNM, QOI, and TGA formats

level-ip. A hacker's userspace TCP/IP stack

checksum. Algorithms for error-checking

cheby. VHDL

saleae-i2c-analyzer. A better I2C analyzer for Saleae Logic

ethernet. Root crate for ethernet drivers

qbe. A Quick Backend

noise-nugget-c-sdk. C/C++ Software Development Kit for the Noise Nugget and PGB-1

llm.c. LLM training in simple, raw C/CUDA

WNM-PGB1-firmware. The open-source pocket groovebox

yarr. yet another rss reader

raylib-ada. Ada bindings for the Raylib library

luniASM. JavaScript

lolra. Transmit LoRa Frames Without a Radio

eepers. Simple Turn-based Game

web-ada. very very simple CGI library for gcc-Ada(GNAT)

raspberry-power-hat. Power Hat with RS485 interface for the Raspberry PI

picowi. Standalone WiFi driver for the Pi Pico-W

Protomolecule.

infiray_irg. A simple python module to read Infiray C200/P200/etc. IRG thermal image files

KiBuzzard. Python

rasti.computer. a retro-futuristic laptop

rasti64. 64-key low-profile staggered mechanical keyboard

xnvme. xNVMe: cross-platform libraries and tools for NVMe devices

bdebstrap. YAML config based multi-mirror Debian chroot creation tool

fx3lafw. Blob-free logic analyzer firmware for FX3

light-startup. Light GNAT Runtime startup files and linker scripts

maker_cheatsheet. Cheat sheet used to make things (mechanic, electronic ...)

MSP430_Generic_Ada_Drivers. Drivers for MSP430 MCUs implemented as generic Ada packages

timely. A tool for verifying if some code is constant time

ProPico. An RP2040 dev board improving on aspects of the pi pico

cowgol. A self-hosted Ada-inspired programming language for very small systems.

adamant. A model-based flight software framework for Ada

heatshrink. data compression library for embedded/real-time systems

open-cad-foundation. A place to discuss open source CAD and how to create a foundation to support it.

netxduo. Eclipse ThreadX - NetXDuo is an advanced, industrial-grade TCP/IP network stack designed specifically for deeply embedded real-time and IoT applications

usbx. Eclipse ThreadX - USBX is a high-performance USB host, device, and on-the-go (OTG) embedded stack, that is fully integrated with Eclipse ThreadX RTOS

threadx. Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Gridfinity-Documentation. Documentation relating to the Gridfinity project by Zack Freedman to provide designers with the information to make cool things

hardware-components. Python

bobc_hardware. CRAMPS - A Cape version of the RAMPS-FD design for 3D printing

5Vpld. A collection of scripts and tools for Atmel ATF150x and GAL Programmable logic devices, some of the only standing active 5V programmable logic parts still available.

lunr.py. A Python implementation of Lunr.js 🌖

mspm0-sdk. Git version of Texas Instrument's MSPM0 SDK

aseprite. Animated sprite editor & pixel art tool (Windows, macOS, Linux)

spicaada. A library of algorithms, data structures, and supporting components in Ada

basic-computer-games. An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/basic-computer-games/

aioquic. QUIC and HTTP/3 implementation in Python

wolfssl. The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3! Update to wolfSSL 5.9.1 for the latest CVE fixes.

math_packages. Collection of basic math routines in Ada

python-mastery. Advanced Python Mastery (course by @dabeaz)

HiRTOS. HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

pallene. Pallene Compiler

ada-lua. An Ada binding for Lua.

minimal_containers. Just enough containers for ColdFrame.

wabbit_dbeazley. Compiler project for Dave Beazley' Wabbit Language

GeoEnergyMath. Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)

egos-2000. Envision a future where everyone can read all the code of an educational operating system.

ada4cmake. cmake macros for simple gnat project inclusion

featurescript. a curated list of FeatureScripts for Onshape

gridfinity_openscad. OpenSCAD

gridfinity-risers. Riser Modules for Gridfinity

adareducer. Python

ula. μLA: Micro Logic Analyzer for RP2040

esp-idf-ada-bindings. Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF

recordflux-example. Example for code for a RecordFlux blog post

rubygpt. IRC chatbots using the ChatGPT API

tinf. Tiny inflate library (inflate, gzip, zlib)

uzlib. Radically unbloated DEFLATE/zlib/gzip compression/decompression library. Can decompress any gzip/zlib data, and offers simplified compressor which produces gzip-compatible output, while requiring much less resources (and providing less compression ratio of course).

NASA-3D-Resources. Here you'll find a growing collection of 3D models, textures, and images from inside NASA.

STM32_Generic_Ada_Drivers. Peripheral drivers based on Ada generic packages for STM32 microcontrollers

scli. scli - SNMP command line interface.

cs6120. advanced compilers

logicanalyzer. 24 channel, 100Msps logic analyzer hardware and software

workers. Simple-to-use worker pools for Ada

pololu-3pi-2040-robot. Example code for the Pololu 3pi+ 2040 Robot

Ascon_SPARK. A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

json-ada. An Ada 2012 library for parsing JSON

ascon-c. Ascon - Lightweight Authenticated Encryption & Hashing

parchive.github.io. parchive.github.com

atophttpd. A web style atop(https://www.atoptool.nl/)

gridfinity-rebuilt-openscad. A ground-up rebuild of the stock gridfinity bins in OpenSCAD

btstack. Dual-mode Bluetooth stack, with small memory footprint.

Prusa-ESP-Nic-FW. ESP8266 as generic network interface over UART

prusa_i3_bear_upgrade. Stronger frame for Prusa i3 MK2(s), MK2.5 and MK3

FYSETC-Prusa-MK3S-Bear-Clone. FYSETC Kit - Prusa MK3S bear clone upgrade

Rook-180.

Pico3D. Open World 3D Game Engine for the PicoSystem & RP2040 Microcontroller

heureka-disky. Software pro hledání levných disků z Heuréky, řazení dle ceny za TB s filtrováním výsledků.

awesome-uxn. Awesome things from the community

2022-advent-of-code. An optimistic attempt to solve Advent of Code 2022 using an emulated BBC Micro Computer.

gb-schematics. Game Boy -related schematics

PRNG_Zoo. This is a testbed for various (non-cryptographic) pseudo-random number generators and associated routines.

blink. tiniest x86-64-linux emulator

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

caravel_ft8_receiver. A fully-integrated FT8 protocol receiver on 130nm CMOS

pets. A configuration management system for Pets, not Cattle

sadservers. SadServers: Linux & DevOps Troubleshooting Scenarios SaaS

CflexHDL. Design digital circuits in C. Simulate really fast with a regular compiler.

skye_flight_core. Ada

InteractiveHtmlBom. Interactive HTML BOM generation plugin for KiCad, EasyEDA, Eagle, Fusion360 and Allegro PCB designer

Black. A simple HTTP and Websocket library with minimal external dependencies.

ash. Ash is an Ada Simple HTTP Server

ada-generators. Experimental support for coroutines-based generators in Ada

task_coroutines. Coroutines in Ada using only standard tasking features

motif-css. CSS (SASS) recreation of the motif widget system. WIP

discourse. A platform for community discussion. Free, open, simple.

langcc. langcc: A Next-Generation Compiler Compiler

flux. Experimental data stream library for Ada

esp32c3-direct-boot-example. Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.

broadcom-peripherals. A thin unifying API atop the peripherals in the Broadcom microprocessors used in the Raspberry Pi boards.

Pico-10BASE-T. 10BASE-T from Raspberry Pi Pico

lpc_synth. Ada implementation of Linear Predictive Coding voice synthesizer

vim-ada. Modified Vim script for Ada 2012

symbolator. HDL symbol generator

acpibatinfo. ACPI battery info for OpenBSD

gridfinity-catalog. Catalog of Gridfinity Designs and Other Resources

SKR-Pico.

wifi-host-driver. Embedded Wi-Fi Host Driver that provides a set of APIs to interact with Cypress WLAN chips

uploadserver. Python's http.server extended to include a file upload page

easyeda2kicad.py. Convert any LCSC components (including EasyEDA) to KiCad library

LCD-FeatherWing. KiCad design files for the LCD FeatherWing

riscv-smol-linux-kernel. Patched sources/configs for RISC-V Linux with musl-based toolchain targeting 8 MB RAM

2022-AEiC-alire-tutorial. Materials for the Alire tutorial at AEiC'22

picotamachibi. Build your own Virtual Pet using MicroPython on a Raspberry Pi Pico

libkeccak. SHA-3 and other Keccak related algorithms in SPARK/Ada.

KeyV2. KeyV2: A Parametric Mechanical Keycap Library

solvespace. Parametric 2d/3d CAD

modm-devices. Curated device data for all AVR and ARM Cortex-M devices

controls-engineering-in-frc. Book source for Controls Engineering in the FIRST Robotics Competition