A purely functional programming language with first class types
Fast and accurate automatic speech recognition (ASR) for edge devices
An Embedded NoSQL, Transactional Database Engine
The optimized HTTP1, HTTP2, and HTTP3 server
A free and open-source Touhou Project fangame
C++ Audio Plug-in Framework for desktop, mobile, xr and web
Run a 1-billion parameter LLM on a $10 board with 256MB RAM
A text editor in less than 1000 LOC with syntax highlight and search
C/C++/ObjC language server supporting cross references & hierarchies
kaldi-asr/kaldi is the official location of the Kaldi project
A DevTools proxy for iOS devices
Node.js desktop automation
Device OS (Firmware) for particle devices
Application Kernel for Containers
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Audio playback and capture library written in C,
Postgres extension and service for automated failover
Fast gui autoclicker for x11 linux desktops
Emulating Apple Silicon devices
Run periodic jobs in PostgreSQL
A command line tool for URL parsing and manipulation
Simple C compiler
BOLT-compliant Lightning Network implementation
A glib-like multi-platform c library
plpgsql_check is a linter tool (does source code static analyze)