- Cape Town, South Africa
Stars
- All languages
- Arc
- Assembly
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F*
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Nginx
- Nix
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Ruby
- Rust
- SMT
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Vim Script
- Vue
- Zig
A statically typed lisp, without a GC, for real-time applications.
Simple OSX tray application allowing you to use Pomodoro techniques with Taskwarrior
World's fastest and most advanced password recovery utility
Multi-platform high-performance compute language extension for Rust.
Bird frame for Raspberry Pi or your homelab - real-time bird detection by audio, fully local AI, rendered as real, hand-cut 1800s bird illustrations. On an e-ink panel, a TV, or any screen.
A friendly programming language from the future
A simple REPL for Lean 4, returning information about errors and sorries.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Playwright-level DX for mobile app testing. Rust core + TypeScript SDK + Android/iOS agents
Share a single keyboard and mouse between multiple computers.
A smarter cd command. Supports all major shells.
Property-based testing for Rust, built on Hypothesis
A lightweight server clone of Azure Storage that simulates most of the commands supported by it with minimal dependencies
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Browser extension that simplifies the GitHub interface and adds useful features
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Hundreds of models & providers. One command to find what runs on your hardware.
A compact, efficient Prolog interpreter written in plain old C.
The open-source app everyone uses to manage agents at work
Harper is an open-source Node.js performance platform that unifies database, cache, application, and messaging layers into one in-memory process.
High-Performance server for NATS.io, the cloud and edge native messaging system.
Unsupervised text tokenizer for Neural Network-based text generation.