Pinned Loading

1. lazarus-ap lazarus-ap Public

   An emulator of the IBM AP-101S, the Space Shuttle's flight computer — built from IBM's own manuals and running real NASA flight software.

   Assembly

2. foliopdf foliopdf Public

   Fast, portable PDF editing in Rust and WebAssembly: merge, split, compress, encrypt, stamp, batch presets. MIT.

   Rust 2

3. frostjs frostjs Public

   Deny-by-default capability linter for JavaScript. Frost's capability model, for the browser.

   TypeScript

4. tenet tenet Public

   An independent implementation of the Lean 4 kernel on .NET, and a checker for Lean exports

   C# 6 1

5. leanviz leanviz Public

   A visual navigator for Lean 4 declarations, starting with Mathlib. Every declaration: statement, docstring, what it uses, what uses it, the axioms it rests on, re-checked by Tenet.

   JavaScript 4 1

6. chordmap chordmap Public

   Free chords, key, tempo, capo, on-device AI stems and play-along for any song you own. Rust and WebAssembly, nothing uploaded.

   Rust