Yann's repositories

Name	Description	Idle	Links
dotfiles	Dotfiles for Linux and Macos.	9 months	summary log tree
yannherklotz.com	Personal website hosted at https://yannherklotz.com.	9 months	summary log tree
gitolite-admin	Unnamed repository; edit this file 'description' to name the repository.	11 months	summary log tree
compcert	CompCert fork with minor modifications for Vericert.	12 months	summary log tree
emacs-zettelkasten	Simple zettelkasten mode for emacs.	15 months	summary log tree
vericert	Vericert is a formally verified high-level synthesis tool.	19 months	summary log tree
ox-tufte	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
vericert-kvx	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
compcert-kvx	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
vericert-docs	Documentation for Vericert.	2 years	summary log tree
hugo-ymherklotz	Custom Hugo theme for https://yannherklotz.com.	2 years	summary log tree
Simplex	Simplex algorithm implementation for integer linear programming.	3 years	summary log tree
Compiler	MIPS Compiler implemented in standard C++.	3 years	summary log tree
MipsCPU	Cycle accurate MIPS CPU simulation.	3 years	summary log tree
YAGE	YAGE game engine implementation.	3 years	summary log tree
pfm	Haskell parser for the pfm file format for HDR images.	3 years	summary log tree
mirror-ball	Mirror ball ray tracing implementation.	3 years	summary log tree
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
SMTCoq	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
cohpred	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
org-zettelkasten	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
testing	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
ymh-emacs	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
ymhg-notes	Public notes that are shared.		summary log tree
zk-theme	Unnamed repository; edit this file 'description' to name the repository.		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
forks
picorv32	Fork of https://github.com/YosysHQ/picorv32.	17 months	summary log tree
smtcoq	Fork of https://github.com/smtcoq/smtcoq.		summary log tree
papers
fccm22_rsvhls	Resource sharing for verified high-level synthesis.	2 years	summary log tree
latte21_hlstpc	High-level synthesis tools should be proven correct.	3 years	summary log tree
fccm21_esrhls	Empirical study of the reliability of high-level synthesis.	3 years	summary log tree
fpga20_fubfst	Finding and understanding bugs in FPGA synthesis tools.	3 years	summary log tree
oopsla21_fvhls	Formal verification of high-level synthesis.	3 years	summary log tree
presentation
flashlight22	[no description]		summary log tree
ini22	[no description]		summary log tree
private
lsr22_fvhls	[no description]	5 months	summary log tree
biteq	[no description]		summary log tree
pred-aware-ai	[no description]		summary log tree
ymherklotz
zk-visual	[no description]	16 months	summary log tree
gsa-mlir	[no description]	19 months	summary log tree
gsa-parser	[no description]	2 years	summary log tree
aoc21	[no description]		summary log tree