Stars
- All languages
- Agda
- Assembly
- Batchfile
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- Dockerfile
- Elixir
- Erlang
- Fancy
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- PowerShell
- Prolog
- Python
- R
- Racket
- Ragel
- RobotFramework
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Sieve
- Starlark
- Stylus
- Swift
- TeX
- TypeScript
- VHDL
- Vim Script
- WebAssembly
- XSLT
- Yacc
- Zig
- nesC
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
ML-powered speech recognition directly in your browser
A modern iperf3 alternative with a live TUI, multi-client server, and QUIC support. Built in Rust.
Easy Linux virtual machine on MacOS to sandbox LLM agents.
Define, test, and document APIs like a developer, not a SaaS user. No accounts. No lock-in. No telemetry. Just Markdown, Git, hotkeys, and your damn specs.
High-performance capability engine for AI agents. Cryptographically attenuated warrants, task-scoped authority, Rust core.
TLD separated newly registered domain lists for use in DNS blocking
A guidance language for controlling large language models.
Token-efficient data serialization for LLM/AI. 50% fewer tokens than JSON, 93% better value/token. Rust, schema validation, LSP.
Admissibility Before Optimization: Why Long-Horizon Systems Fail Without Authorization Layers.
Linux running inside a PDF file via a RISC-V emulator
This code contains a tiny implementation of FugueMax, programmed live on video
Deterministic, bit-perfect AI inference for safety-critical systems
A LLM trained only on data from certain time periods to reduce modern bias
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS