Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
Algorithms
Android apps
Audio
CLI tooling
Communication
Compression
Crypto
Databases
Desktop Environments
Distributed DBs
Download utils
Editors / IDEs
Financial
Formal Logic
Libraries and tools related to formal logicGUI libraries
Impressive Tech Demos
Linux MultiTouch
Machine learning
Neural networks, Tsetlin Machines etcMath
Mechanical Keyboards
Modern shells
Networks
Nix
Reading List
Rust
Rust related stuffSecurity
Software Deployment
Kubernetes, Docker, WASM etcSoftware Security
Anything to do with offensive or defensive software security.Tools misc
Video
WASM
Web Frontend
Stars
- All languages
- Agda
- Assembly
- Bison
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Mojo
- Nemerle
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PlantUML
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Racket
- Rez
- Rocq Prover
- Ruby
- Rust
- SWIG
- Scala
- Scheme
- Shell
- Svelte
- Swift
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XQuery
- XSLT
- Zig
- hoon
- reStructuredText
reverse engineering Gemini's SynthID detection
A parser, formatter, validator, and language server for SQLite SQL. Built on SQLite's own grammar and tokenizer
The SMS Gateway for Android™ app enables sending and receiving SMS messages through an API that can be accessed directly on the device or via a cloud server when direct device access is not possible.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Dead-simple Bun CLI that runs Codex and Claude Code in a loop.
Native macOS Wayland Compositor written in Rust using Smithay. Experience seamless Linux app streaming on macOS without XQuartz.
An open standard for shared agent learning. Agents persist, share, and query collective knowledge so they stop rediscovering the same failures independently.
Self-referential self-improving agents that can optimize for any computable task
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
An extremely fast Python package and project manager, written in Rust.
The open-source Claude Cowork for OpenClaw
Tokio Telemetry you can run in production
Offline MGRS navigation + BLE proximity team sync for 2-8 people. No cell service needed. V1.0 through V4.0 roadmap in README.
Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and…
Cockpit is a web-based graphical interface for servers.
Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.
An understudy watches. Then performs.
A live environment to stress-test AI agent defenses through adversarial play 🧠
Practical marketing resources to get the first 10 / 100 / 1000 users for your SaaS / App / Startup
The Rust OpenTelemetry implementation
Lightweight TCP/IP stack with no dynamic memory allocations