mehbark mbk
0 followers · 0 following
Projects Packages Public activity Starred repositories
godot-puzzle
GDScript 0 0
Updated 2025-04-30 00:03:46 -04:00
guile-sokoban
Scheme 0 0
Updated 2025-04-28 18:02:45 -04:00
nix
Nix 0 0
Updated 2025-04-25 17:56:45 -04:00
schedule
Clojure 0 0
brittle, kinda incomplete timetable scraper + scheduler using core.logic
Updated 2025-04-19 17:46:14 -04:00
capitalization-collision
Rust 0 0
Updated 2025-04-17 10:39:41 -04:00
lisp
Common Lisp 0 0
Updated 2025-04-14 11:59:22 -04:00
bytecode
Lean 0 0
Updated 2025-04-11 18:26:04 -04:00
simple-counterexamples
Lean 0 0
Updated 2025-04-08 23:13:30 -04:00
invariant
Lean 0 0
Updated 2025-04-04 20:02:58 -04:00
smogon-stats
Rust 0 0
Updated 2025-04-01 12:49:28 -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