Lists (1)
Starred repositories
Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
Outcome driven agent development framework and runtime harness
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
Tauri plugin to run deno javascript code in the backend instead of rust
Fast and accurate AI powered file content types detection
Small crate to infer file and MIME type by checking the magic number signature