Labs for QGSS 2025. Lectures notes can be found in a separate repo: https://github.com/qiskit-community/qgss-2025-lecture-notes

A simple example language built using the Truffle API.

A project to digitalise results from physics into Lean.

Reference implementation of OpenPubkey

A homebrew tap for qemu with support for 3d accelerated guests

Functional HTML scraping and rewriting with CSS in OCaml

A wrapper script to build whole-program LLVM bitcode files

acme2k - text editor fo' all the cool cats who ain't 'fraid of no mice

SQL powered operating system instrumentation, monitoring, and analytics.

A Constraint Solver

A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…

Open source ESC firmware.

MWOSD - UAV HUD

Collection of scripts to configure Betaflight from your TX (currently only supported in OpenTx)

Improvements made to the cheap T-962 reflow oven utilizing the _existing_ controller HW

Script for compiling Linux, BusyBox for AMR and running it on QEMU.

RSA CTF Tool - Tool to attack RSA public keys and ciphertexts in common ways

The Unikernel & MicroVM Compilation and Deployment Platform

Model-based design and verification for robotics.

Clean-code version of the baseflight flight controller firmware

32 bit fork of the MultiWii RC flight controller firmware

pure Javascript git implementation for your browser

FG Aircraft | Embraer Super Tucano A-29B FAB by Dave Culp [ Creative Commons : " BY-NC-SA" ]

DOrder -- Automatically Learning Shape Specifications

Standard Dependable Vehicle Operating System

simavr is a lean, mean and hackable AVR simulator for linux & OSX

Status / Notification system for lightweight Window Managers

Leiningen plugin for running JUnit tests.