A Nix flake for Tidal Cycles.

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

This is a collection of algorithms that I implemented as part of foundational research into Distributed Systems

A tool to help flash elf2 files to microcontrollers

Chirp is a cross-platform C++ application for real-time sound synthesis and audio experimentation using PortAudio for audio I/O and Dear ImGui for an interactive GUI.

Nix direnv for many fem software development

BSP layer for NVIDIA Jetson platforms, based on L4T

Repository for community-maintained recipes for additional packages for NVIDIA Jetson platforms

A free and open-source Touhou Project fangame

Software modular synth

A code rewrite tool for structural search and replace that supports ~every language.

Automatic Nix development environments for your shell.

Cache AnyThing filesystem written in Rust

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

A PDF interpreter and renderer in pure Rust.

A portable guitar training tool 🎛️🎸

Low cost microcontroller + FPGA board for makers , hobbyist and student for endless possibility.

Moirai: An Extensible, Generic Operation-based CRDT Framework with Customizable Conflict Resolution

Fault-tolerant async actors for Rust that scale seamlessly

A simple, fast and reliable Matrix server (MIRROR, see https://conduit.rs )

Repository with RP2040 simulation models.

A Rust Websocket client that compiles to both native and web

Language models for Coq based on data collected from the coq lsp.

GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

Sketching embedded digital audio

The automation tower defense RTS

A simple robot with different sensors and autonomous as well as remote controlled movement written in Rust.

Collaborative AI built collaboratively