Yann's repositories

Name	Description	Idle	Links
oopsla21_fvhls	Formal verification of high-level synthesis.	3 years	summary log tree
org-zettelkasten	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
ox-tufte	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
padicted	[no description]		summary log tree
pfm	Haskell parser for the pfm file format for HDR images.	3 years	summary log tree
picorv32	Fork of https://github.com/YosysHQ/picorv32.	18 months	summary log tree
pred-aware-ai	[no description]		summary log tree
second-year-computing	A repository containing code while learning data-structures and algorithms.	3 years	summary log tree
smtcoq	Fork of https://github.com/smtcoq/smtcoq.		summary log tree
sobel_filter	A sobel filter implementation for FPGAs implemented using Catapult C.	3 years	summary log tree
sudoku_solver	A simple, brute-force Sudoku solver.	3 years	summary log tree
testing	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
vericert	Vericert is a formally verified high-level synthesis tool.	19 months	summary log tree
vericert-docs	Documentation for Vericert.	2 years	summary log tree
vericert-kvx	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
verilog	Repository with some Verilog designs used to learn Verilog simulation.	3 years	summary log tree
verismith	Verilog Fuzzer to test the major simulators and sythesisers by generating random...	3 years	summary log tree
yannherklotz.com	Personal website hosted at https://yannherklotz.com.	9 months	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	[no description]	16 months	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