suhr

awesome-microtonal

A curated list of useful resources for writing microtonal music

tmath

advent-of-tla

AoC goals in TLA+

makam-examples

Small languages in Makam language

k-vscode

nur-packages

makam

The Makam Metalanguage

makam-lang

VS Code support for Makam language

suhr.github.io

A-Programming-Language

An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.

aesop

White-box automation for Lean 4

BQN

An APL-like programming language. Self-hosted!

bqn-vscode

CBQN

a BQN implementation in C

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

do-supplement

Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"

fldigi

A mirror of the fldigi git

kbd

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

magic-racket

The best coding experience for Racket in VS Code

nixpkgs

Nix Packages collection

opensmalltalk-vm

Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.

oterm

a text-based terminal client for Ollama

polygon

rwkv_chatbot

rwkv_chatbot

sodiumoxide

Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)

termux-app

Termux - a terminal emulator application for Android OS extendible by variety of packages.

tox

toxcore implementation in Rust

tox-node

A server application to run tox node written in pure Rust

zig-overlay

Nix flake for Zig binaries