Repositories Users Organizations
Filter
Sort
mbk/ smogon-stats
Rust 0 0
Updated 2025-08-01 15:15:46 -04:00
mbk/ rust-sokoban
Rust 0 0
sokoban solver in rust using the bitvec and pathfinding crates
Updated 2025-07-07 12:15:00 -04:00
mbk/ simd-fun
Rust 0 0
fun with portable simd in rust
Updated 2025-07-06 12:55:18 -04:00
mbk/ puyo-lang
Rust 0 0
puyo lang in rust. you know what puyo lang is, right?
Updated 2025-07-03 21:04:47 -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/ 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