Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Coq
- Crystal
- Cuda
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- LiveScript
- Lua
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- PHP
- Pony
- PowerShell
- PureScript
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- TeX
- TypeScript
- Vala
- Vue
- WebAssembly
- YAML
- YARA
- Yacc
- Zig
Reference parser and interpreter for the Dogwood policy language
NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibil…
An incremental parsing system for programming tools
Very low latency speech to text, intent recognition, and text to speech, for building voice agents and interfaces
Everything I know about running LLMs locally
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
Fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (NPE, thre…
A template for implementing audio plugins with the WRAC stack.
Securing open-source package ecosystems by originating, validating, and augmenting build attestations.
General-purpose MCP bridge for Ableton Live
OpenBao is a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.
Dockerized FastAPI wrapper for Kokoro-82M text-to-speech model w/multiplatform CPU, AMD, NVIDIA GPU PyTorch support; voice-mixing, auto-stitching, captioned timestamps
Pure Go library and CLI to access the Raspberry Pi's firmware cryptographic functions
PKCS#11 module that exposes Raspberry Pi firmware OTP ECDSA key through the PKCS#11 interface
A policy bot for enabling coding agents to make safe decisions on their own.
Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more
A community trust management system based on explicit vouches to participate.