Highlights
- Pro
- All languages
- ANTLR
- APL
- Arc
- Assembly
- Awk
- BQN
- Ballerina
- Bicep
- C
- C#
- C++
- CMake
- COBOL
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Forth
- Fortran
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Org
- PHP
- PLpgSQL
- Perl
- Pony
- PostScript
- PowerShell
- Python
- QML
- R
- Roc
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Shell
- Smalltalk
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wren
- Zig
Starred repositories
A Python Library for Graph Outlier Detection (Anomaly Detection)
Turso is an in-process SQL database, compatible with SQLite.
Extracted system prompts from Anthropic - Claude Fable 5, Opus 4.8, Claude Code, Claude Design. OpenAI - ChatGPT 5.5 Thinking, GPT 5.5 Instant, Codex. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravit…
A Pure Emacs (no external packages) IDE like configuration.
Lore is a next-generation, open source version control system
Zero-config, fast `io_uring`-based HTTPS server.
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
Create Emacs shells backed by either local or cloud services.
Open-source & free — Battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in fine-tuned ruleset (NPE, thre…
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
Open-source scientific and technical publishing system built on Pandoc.
The agent that grows with you
Rapira programming language / Язык программирования Рапира
Show usage stats for OpenAI Codex and Claude Code, without having to login.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Python binding for curl-impersonate fork via cffi. A http client that can impersonate browser tls/ja3/http2 fingerprints.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Facilities for async programming and communication in Clojure
Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read