Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

mbk/ bytecode

Lean 0 0

Updated 2025-04-11 18:26:04 -04:00

mbk/ simple-counterexamples

Lean 0 0

Updated 2025-04-08 23:13:30 -04:00

mbk/ invariant

Lean 0 0

Updated 2025-04-04 20:02:58 -04:00

mbk/ justify

Lean 0 0

lean monospace justification algorithm described in Haskell: the Craft of Functional Programming (implementation not based on that though)

Updated 2025-02-04 10:15:53 -05:00

mbk/ sized-array

Lean 0 0

Updated 2024-08-09 00:20:06 -04:00

mbk/ analytic-trigonometry

Lean 0 0

Updated 2024-08-09 00:17:07 -04:00