Pinned Repositories
advent-of-tla
AoC goals in TLA+
awesome-microtonal
A curated list of useful resources for writing microtonal music
makam-examples
Small languages in Makam language
papers
Various papers
tmath
wcpl
suhr's Repositories
suhr/awesome-microtonal
A curated list of useful resources for writing microtonal music
suhr/tmath
suhr/advent-of-tla
AoC goals in TLA+
suhr/makam-examples
Small languages in Makam language
suhr/k-vscode
suhr/nur-packages
suhr/makam
The Makam Metalanguage
suhr/makam-lang
VS Code support for Makam language
suhr/suhr.github.io
suhr/A-Programming-Language
An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
suhr/aesop
White-box automation for Lean 4
suhr/BQN
An APL-like programming language. Self-hosted!
suhr/bqn-vscode
suhr/CBQN
a BQN implementation in C
suhr/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
suhr/do-supplement
Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
suhr/fldigi
A mirror of the fldigi git
suhr/kbd
suhr/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
suhr/magic-racket
The best coding experience for Racket in VS Code
suhr/nixpkgs
Nix Packages collection
suhr/opensmalltalk-vm
Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.
suhr/oterm
a text-based terminal client for Ollama
suhr/polygon
suhr/rwkv_chatbot
rwkv_chatbot
suhr/SC-election-2024
2024 Election for the Steering Committee
suhr/sodiumoxide
Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
suhr/termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
suhr/tox-node
A server application to run tox node written in pure Rust
suhr/zig-overlay
Nix flake for Zig binaries