Yann's repositories

Name	Description	Idle	Links
median-cut	Median cut illumination map generation implementation implemented in Haskell.	3 years	summary log tree
FMark	Commonmark parser written in F sharp with various extensions added such as macro...	3 years	summary log tree
alluvial-hs	Alluvial diagram generation for Tex using Haskell.	3 years	summary log tree
Vivant	OpenGL low-poly terrain generation written in Haskell.	3 years	summary log tree
leela	Ray tracer written in pure rust running on the CPU.	3 years	summary log tree
verismith	Verilog Fuzzer to test the major simulators and sythesisers by generating random...	3 years	summary log tree
testing	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
butterstick	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
choc	An implementation of the Calculus of Construction.		summary log tree
smtcoq	Fork of https://github.com/smtcoq/smtcoq.		summary log tree
org-zettelkasten	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
flashlight22	[no description]		summary log tree
ini22	[no description]		summary log tree
biteq	[no description]		summary log tree
pred-aware-ai	[no description]		summary log tree
ymh-emacs	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
aoc21	[no description]		summary log tree
padicted	[no description]		summary log tree
ymhg-notes	Public notes that are shared.		summary log tree
zk-visual	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
zk-web	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
zk-theme	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
SMTCoq	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
cohpred	Unnamed repository; edit this file 'description' to name the repository.		summary log tree