Pinned Loading

1. elitonom elitonom Public

   An implementation of Conway's Game of Life for the aperiodic monotile

   Rust 3

2. lambdasee lambdasee Public

   Parse, derive and visualize expressions of the Calculus of Constructions (λC) and related calculi

   Rust

3. guile-toml guile-toml Public

   TOML module for Guile

   Scheme 6 2

4. watchub watchub Public

   An interactive file tree of videos and their progress.

   HTML

5. palindroam palindroam Public

   Generate a browsable website of Roam-style notes with pandoc

   Rust

6. flatwhite.nvim flatwhite.nvim Public

   flatwhite.nvim

   Lua 1 1