Lists (1)
Starred repositories
Warp is an agentic development environment, born out of the terminal.
Kiro is an agentic IDE that works alongside you from prototype to production.
Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
A 5-20x faster experimental Homebrew alternative
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A free, open source, and extensible speech-to-text application that works completely offline.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
An embeddable FPGA SoM designed for high-speed audio and USB applications.
Typescript types definition file for Bitwig Control Surface API.
Advanced self-contained prototyping environment for the Faust programming language
Functional programming language for signal processing and sound synthesis
A framework for writing FPGA firmware using the Rust Programming Language
A compact file format to losslessly serialize an ECMAScript module graph into a single file
Content Addressable aRchive format reader and writer for JavaScript
LLRT (Low Latency Runtime) is an experimental, lightweight JavaScript runtime designed to address the growing demand for fast and efficient Serverless applications.
A zero-dependency library to encode and decode CBOR (RFC8949) for TypeScript.
Local, open-source AI app builder for power users ✨ v0 / Lovable / Replit / Bolt alternative 🌟 Star if you like it!
An implementation of Tor, in Rust. [NOT Official, Mirrors Only, NO PR here]
Source code for my Bitwig Controller API Tutorials on Youtube