Repositories Users Organizations
Filter
Sort
itamar/ flakes
Nix 0 0
messy nix flakes for main pc and server
Updated 2026-04-13 17:11:40 +00:00
itamar/ py-calc
Python 0 0
a simple python calculator
Updated 2026-04-10 14:40:45 +00:00
itamar/ algebra
Agda 0 0
transforming setoids to quotient sets
Updated 2026-04-10 12:48:37 +00:00
itamar/ sage-isogeny
Sage 0 0
playing around with sagemath.org
Updated 2026-04-10 11:45:31 +00:00
itamar/ idris-bf
Idris 0 0
a brainfuck interpreter in idris
Updated 2026-04-09 22:26:18 +00:00
itamar/ vm
Rust 0 0
a rust register vm
Updated 2026-04-09 22:25:03 +00:00
itamar/ py-fp
Python 0 0
functional programming in python
Updated 2026-04-09 22:22:24 +00:00
itamar/ overload
Rust 0 0
dumb stuff with rust
Updated 2026-04-09 22:20:01 +00:00
itamar/ lambda-calc
Haskell 0 0
lambda calculus in haskell
Updated 2026-04-09 22:18:52 +00:00
itamar/ lucys-algo
C 0 0
lucy hedgehogs algorithm in C
Updated 2026-04-09 22:17:21 +00:00