Stars
- All languages
- Assembly
- BQN
- C
- C#
- C++
- CSS
- Cirru
- Clojure
- CoffeeScript
- Coq
- Cuda
- Curry
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MLIR
- Mercury
- Nix
- OCaml
- Odin
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- TLA
- TeX
- Twig
- TypeScript
- Vala
- Vim Script
- WebAssembly
Penpot: The open-source design tool for design and code collaboration
Cloud-native high-performance edge/middle/service proxy
Validate your forms, frontend, without writing a single line of javascript
Always know what to expect from your data.
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
Functional reactive web and mobile applications, with batteries included.
Self-host Supabase with Nginx/Caddy and Authelia with just ONE bash script.
Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.
Source code for the X Recommendation Algorithm
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
A PostgreSQL Docker container that automatically upgrades your database
A reverse engineering of Linear's sync engine for learning purposes. Endorsed by Linear's CTO.
A rules engine expressed in JSON
🤖 The largest directory for AI-ready documentation and tools implementing the proposed llms.txt standard
CLI app- Give it a YouTube URL and you get a transcription with possible speaker identification and optional summary or translation, all thanks to open-source AI tooling and my lack of enough free …
Kanban board to manage your AI coding agents
Benchmarking Memcache, Redis, Valkey, Dragonfly, and Garnet caching software.
A Python-like programming language for testing and experimenting with concurrent programs.