git.pyrope.net

mbk/ social-hash-brute

Rust 0 0

Updated 2025-11-13 12:37:48 -05:00

mbk/ uiua-note

0 0

Updated 2025-11-04 00:04:49 -05:00

mbk/ nix

Nix 0 0

Updated 2025-10-27 21:36:26 -04:00

mbk/ rpip7

Rust 0 0

https://codegolf.stackexchange.com/questions/284074/parse-rpip7-musical-notation

Updated 2025-10-10 23:59:38 -04:00

mbk/ nixos-example

Nix 0 0

Updated 2025-10-09 13:55:17 -04:00

mbk/ text-compression

Rust 0 0

Updated 2025-10-05 12:57:54 -04:00

mbk/ typed-stack-lang

Lean 0 0

Updated 2025-09-19 16:07:59 -04:00

mbk/ nonogram

Rust 0 0

solve 5x5 nonograms quite quickly in rust. thank you https://pixelogic.app/every-5x5-nonogram for tricking me into solving thousands of these by hand

Updated 2025-08-06 19:30:41 -04:00

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/ godot-puzzle

GDScript 0 0

Updated 2025-05-31 13:36:02 -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