Highlights
- Pro
Lists (26)
Sort Name ascending (A-Z)
Android
Bitcoin
Docker
Emacs
Flipper
Haskell
Helix
jujutsu
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
Text UI for Jujutsu based on fzf, centering around the jj log with key bindings for common operations
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 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.