Yann's repositories

Name	Description	Idle	Links
dotfiles	Dotfiles for Linux and Macos.	34 hours	summary log tree
gitolite-admin	Unnamed repository; edit this file 'description' to name the repository.	2 days	summary log tree
yannherklotz.com	Personal website hosted at https://yannherklotz.com.	3 weeks	summary log tree
compcert	CompCert fork with minor modifications for Vericert.	5 weeks	summary log tree
emacs-zettelkasten	Simple zettelkasten mode for emacs.	4 months	summary log tree
vericert	Vericert is a formally verified high-level synthesis tool.	8 months	summary log tree
ox-tufte	Unnamed repository; edit this file 'description' to name the repository.	14 months	summary log tree
vericert-kvx	Unnamed repository; edit this file 'description' to name the repository.	15 months	summary log tree
compcert-kvx	Unnamed repository; edit this file 'description' to name the repository.	15 months	summary log tree
vericert-docs	Documentation for Vericert.	15 months	summary log tree
hugo-ymherklotz	Custom Hugo theme for https://yannherklotz.com.	17 months	summary log tree
Simplex	Simplex algorithm implementation for integer linear programming.	20 months	summary log tree
Compiler	MIPS Compiler implemented in standard C++.	20 months	summary log tree
MipsCPU	Cycle accurate MIPS CPU simulation.	20 months	summary log tree
YAGE	YAGE game engine implementation.	20 months	summary log tree
pfm	Haskell parser for the pfm file format for HDR images.	20 months	summary log tree
mirror-ball	Mirror ball ray tracing implementation.	20 months	summary log tree
median-cut	Median cut illumination map generation implementation implemented in Haskell.	20 months	summary log tree
FMark	Commonmark parser written in F sharp with various extensions added such as macro...	20 months	summary log tree
alluvial-hs	Alluvial diagram generation for Tex using Haskell.	20 months	summary log tree
Vivant	OpenGL low-poly terrain generation written in Haskell.	20 months	summary log tree
leela	Ray tracer written in pure rust running on the CPU.	20 months	summary log tree
verismith	Verilog Fuzzer to test the major simulators and sythesisers by generating random...	20 months	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.	7 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.	13 months	summary log tree
latte21_hlstpc	High-level synthesis tools should be proven correct.	20 months	summary log tree
fccm21_esrhls	Empirical study of the reliability of high-level synthesis.	20 months	summary log tree
fpga20_fubfst	Finding and understanding bugs in FPGA synthesis tools.	20 months	summary log tree
oopsla21_fvhls	Formal verification of high-level synthesis.	20 months	summary log tree
presentation
flashlight22	[no description]		summary log tree
ini22	[no description]		summary log tree
private
lsr22_fvhls	[no description]	2 months	summary log tree
biteq	[no description]		summary log tree
pred-aware-ai	[no description]		summary log tree
ymherklotz
zk-visual	[no description]	5 months	summary log tree
gsa-mlir	[no description]	8 months	summary log tree
gsa-parser	[no description]	19 months	summary log tree
aoc21	[no description]		summary log tree