mehbark mbk
0 followers · 0 following
Projects Packages Public activity Starred repositories
invariant
Lean 0 0
Updated 2025-04-04 00:49:48 -04:00
smogon-stats
Rust 0 0
Updated 2025-04-01 12:49:28 -04:00
nix
Nix 0 0
Updated 2025-03-25 14:32:15 -04:00
fast-markov-chain
Rust 0 0
Updated 2025-03-23 13:29:48 -04:00
c64-maze
Rust 0 0
Updated 2025-03-20 15:37:48 -04:00
pi
Scheme 0 0
Updated 2025-03-14 10:51:35 -04:00
meh
Scheme 0 0
a meh chez scheme extended standard library for me
Updated 2025-03-13 23:48:36 -04:00
pokautomata
Rust 0 0
Updated 2025-03-12 14:35:11 -04:00
grapher
Rust 0 0
Updated 2025-03-11 00:46:11 -04:00
mandelbrot
Scheme 0 0
Updated 2025-02-25 15:47:51 -05:00
formal
Scheme 0 0
basic formal proof fun
Updated 2025-02-21 00:32:08 -05:00
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
cohost
TypeScript 0 0
Updated 2025-01-30 09:29:59 -05:00
lisp
Common Lisp 0 0
Updated 2025-01-03 13:48:47 -05:00
zig-bf
Zig 0 0
Updated 2024-12-19 19:46:03 -05:00