git.pyrope.net

mbk/ godot-puzzle

GDScript 0 0

Updated 2025-05-31 13:36:02 -04:00

mbk/ nix

Nix 0 0

Updated 2025-05-30 02:16:33 -04:00

mbk/ guile-sokoban

Scheme 0 0

Updated 2025-04-28 18:02:45 -04:00

mbk/ schedule

Clojure 0 0

brittle, kinda incomplete timetable scraper + scheduler using core.logic

Updated 2025-04-19 17:46:14 -04:00

mbk/ capitalization-collision

Rust 0 0

Updated 2025-04-17 10:39:41 -04:00

mbk/ lisp

Common Lisp 0 0

Updated 2025-04-14 11:59:22 -04:00

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/ smogon-stats

Rust 0 0

Updated 2025-04-01 12:49:28 -04:00

mbk/ fast-markov-chain

Rust 0 0

Updated 2025-03-23 13:29:48 -04:00

mbk/ c64-maze

Rust 0 0

Updated 2025-03-20 15:37:48 -04:00

mbk/ pi

Scheme 0 0

Updated 2025-03-14 10:51:35 -04:00

mbk/ meh

Scheme 0 0

a meh chez scheme extended standard library for me

Updated 2025-03-13 23:48:36 -04:00

mbk/ pokautomata

Rust 0 0

Updated 2025-03-12 14:35:11 -04:00

mbk/ grapher

Rust 0 0

Updated 2025-03-11 00:46:11 -04:00

mbk/ mandelbrot

Scheme 0 0

Updated 2025-02-25 15:47:51 -05:00

mbk/ formal

Scheme 0 0

basic formal proof fun

Updated 2025-02-21 00:32:08 -05: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/ cohost

TypeScript 0 0

Updated 2025-01-30 09:29:59 -05:00