mehbark

grapher

Rust 0 0

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

mandelbrot

Scheme 0 0

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

formal

Scheme 0 0

basic formal proof fun

Updated 2025-02-21 00:32:08 -05:00

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

cohost

TypeScript 0 0

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

zig-bf

Zig 0 0

Updated 2024-12-19 19:46:03 -05:00

black-and-white-rainbows

Rust 0 0

https://codegolf.stackexchange.com/questions/64332/black-and-white-rainbows

Updated 2024-12-16 14:48:49 -05:00

pretense

Rust 0 0

Updated 2024-12-08 21:40:38 -05:00

lc-to-iota

Rust 0 0

Updated 2024-12-08 21:35:45 -05:00

amulets

Ruby 0 0

https://www.robinsloan.com/special/amulet/

Updated 2024-11-26 18:58:46 -05:00

bad-apple

Rust 0 0

play videos, including bad apple, in the terminal

Updated 2024-11-21 15:07:44 -05:00

anagrams

Rust 0 0

anagrams, homophones, TODO: customize for fun

Updated 2024-08-24 18:24:15 -04:00

pesterchum

Python 0 0

Updated 2024-08-10 05:30:30 -04:00

slimp

Rust 0 0

Updated 2024-08-09 00:20:29 -04:00

sized-array

Lean 0 0

Updated 2024-08-09 00:20:06 -04:00