Highlights
- Pro
Lists (25)
Sort Name ascending (A-Z)
Android
Bitcoin
Docker
Emacs
Flipper
Haskell
Helix
Julia
Linux
LLM/AI
MacOS
Matrix
Neovim
Nix
Privacy
Python
Reticulum
Rust
Shell
Theorem Provers
Typst
WASM
Web
Zero-Knowledge
Zig
- All languages
- Adblock Filter List
- AppleScript
- AsciiDoc
- Astro
- Batchfile
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- Crystal
- Dart
- Diff
- Dockerfile
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- NCL
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PostScript
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Stan
- Svelte
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Vala
- Vim Script
- Wikitext
- Zig
Starred repositories
Python library for handling efficiently sorted integer sets.
Meta-crate which exposes dependencies for everything used in the rust-bitcoin ecosystem, to provide a common reference point for 8000 versions.
Test monadic programs using state machine based models
Haskell's IO simulator which closely follows core packages (base, async, stm).
Modern music player written in Rust using GPUI with a focus on design and performance
Jujutsu stacked prs - fork of https://github.com/sunshowers/spr
Jujutsu UI (jjui) is a Text User Interface (TUI) designed for interacting with the Jujutsu version control system.
Non-blocking direnv integration daemon with tmux support that provides instant shell prompts by running direnv asynchronously in the background.
decrypt UniFi Network Application backup (.unf <=> .zip)
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
An MCP client for Neovim that seamlessly integrates MCP servers into your editing workflow with an intuitive interface for managing, testing, and using MCP servers with your favorite chat plugins.
Use Claude Code from any ACP client such as Zed!
π Neovim plugin to animate the cursor with a smear effect in all terminals