Pinned Loading

1. b4 b4 Public

   b4 : a tiny forth-like virtual machine

   Pascal 41 4

2. tangentcode/implish tangentcode/implish Public

   implish: a tiny programming language

   TypeScript 6 1

3. tangentswarm tangentswarm Public

   tool for managing parallel git branches under tmux (for claude, codex, aider, etc.)

   Python 3

4. bex bex Public

   A rust crate for boolean expressions (expression trees, decision diagrams, etc.)

   Rust 37

5. tangentproofs/rakesieve tangentproofs/rakesieve Public

   A formally verified prime number sieve in Lean4.

   Lean 3

6. learntris learntris Public

   Forked from tangentcode/learntris

   a test suite to help you implement a famous falling blocks game

   Python 2