mehbark mbk
0 followers · 0 following
Repositories
53
 Projects Packages Public activity Starred repositories
mbk pushed to main at mbk/godot-puzzle 2025-04-30 00:03:46 -04:00
db311c2a62 make walls opaque
mbk pushed to main at mbk/godot-puzzle 2025-04-29 18:14:49 -04:00
fa631ab21d bad 3d rendering
mbk pushed to main at mbk/godot-puzzle 2025-04-29 15:34:24 -04:00
68b74a00a1 undo and restart
mbk pushed to main at mbk/guile-sokoban 2025-04-28 18:02:44 -04:00
ff84559e33 don't do redundant restarts
mbk pushed to main at mbk/guile-sokoban 2025-04-28 17:57:15 -04:00
8d7babec4d don't break puzzles with leading spaces
mbk pushed to main at mbk/guile-sokoban 2025-04-28 17:38:25 -04:00
b9ec9518db basic sokoban player let's GO
mbk pushed to main at mbk/guile-sokoban 2025-04-28 16:37:48 -04:00
abb1733099 engine: i mean yeah that works
mbk pushed to main at mbk/guile-sokoban 2025-04-28 13:13:11 -04:00
e5615419b1 show final board
mbk pushed to main at mbk/guile-sokoban 2025-04-28 08:08:57 -04:00
a7ddb0ff78 bitboards v1
mbk pushed to main at mbk/nix 2025-04-25 17:56:45 -04:00
891076ab21 hide copilot, fix CoC
mbk pushed to main at mbk/nix 2025-04-21 19:47:20 -04:00
e50b7f0b90 why was that here
mbk pushed to main at mbk/lisp 2025-04-14 11:59:22 -04:00
6ffcda2601 some numerical approximations
mbk pushed to main at mbk/nix 2025-04-12 15:31:28 -04:00
631f3bfd91 update, temporarily disable native comp for darwin emacs
mbk pushed to main at mbk/nix 2025-04-12 14:21:19 -04:00
997a3fe5fe sage, wget
mbk pushed to main at mbk/bytecode 2025-04-11 18:26:04 -04:00
46d44e4e49 un-only M.push_pop closing simp
mbk pushed to main at mbk/bytecode 2025-04-09 16:09:37 -04:00
9eabd7da37 Ast.run_compiled
mbk pushed to main at mbk/bytecode 2025-04-09 16:04:24 -04:00
191c09ace7 chore: cleanup
mbk pushed to main at mbk/simple-counterexamples 2025-04-08 23:13:30 -04:00
ad20702327 BadInfinities: chore redundant newline
mbk pushed to main at mbk/invariant 2025-04-04 20:02:58 -04:00
9240c7b899 add NatSet to its own file
mbk pushed to main at mbk/invariant 2025-04-04 12:59:31 -04:00
bf91efe29c NatSet.mem_insert