Git repository browser

Name	Description	Owner	Idle	Links
yellowsquid/advent-of-proof/2024.git	[no description]	Chloe Brown	15 months	summary log tree
yellowsquid/agda-wasm.git	Agda implementation of WebAssembly	Chloe Brown	4 years	summary log tree
yellowsquid/bidir.git	[no description]	Chloe Brown		summary log tree
yellowsquid/cat-theory.git	[no description]	Chloe Brown	3 years	summary log tree
yellowsquid/cbpv-soas-and-frex.git	[no description]	Chloe Brown		summary log tree
yellowsquid/cc-obs.git	[no description]	Chloe Brown	15 months	summary log tree
yellowsquid/cfe-proof.git	[no description]	Chloe Brown	15 months	summary log tree
yellowsquid/chomp.git	[no description]	Chloe Brown	4 years	summary log tree
yellowsquid/church-eval.git	[no description]	Chloe Brown	15 months	summary log tree
yellowsquid/correct-obs.git	[no description]	Chloe Brown	2 years	summary log tree
yellowsquid/helium.git	[no description]	Chloe Brown	3 years	summary log tree
yellowsquid/idris-obs.git	[no description]	Chloe Brown	2 years	summary log tree
yellowsquid/idris-setoid.git	[no description]	Chloe Brown		summary log tree
yellowsquid/idris-soas.git	[no description]	Chloe Brown		summary log tree
yellowsquid/idris-soat.git	[no description]	Chloe Brown	2 years	summary log tree
yellowsquid/inky.git	[no description]	Chloe Brown	7 weeks	summary log tree
yellowsquid/murl.git	[no description]	Chloe Brown	3 years	summary log tree
yellowsquid/notes/frex2-nbe.git	[no description]	Chloe Brown	2 years	summary log tree
yellowsquid/project-scheme.git	Solutions to problems inspired by project scheme.	Chloe Brown	4 years	summary log tree
yellowsquid/squidguix.git	[no description]	Chloe Brown	3 months	summary log tree
yellowsquid/thesis.git	[no description]	Chloe Brown	2 years	summary log tree
yellowsquid/unify.git	[no description]	Chloe Brown	15 months	summary log tree