Yann's repositories

Name	Description	Idle	Links
A-star-algorithm	an A-star algorithm implementation with a UI.	3 years	summary log tree
Arider	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
BinaryTree	An implementation of a binary tree in C++.	3 years	summary log tree
Cardeval	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
ChessAI	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
Compiler	MIPS Compiler implemented in standard C++.	3 years	summary log tree
DatabaseCoursework	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
FMark	Commonmark parser written in F sharp with various extensions added such as macro...	3 years	summary log tree
FPGA-2015	A collection of Quartus projects to learn FPGA design.	3 years	summary log tree
FPGA_Playground	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
MipsCPU	Cycle accurate MIPS CPU simulation.	3 years	summary log tree
NetworkCoursework	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
NoiseSilencer	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
NoteReader	C++ implementation using OpenCV to read sheet music and print machine-readable s...	3 years	summary log tree
NumericalAnalysis	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
PriorityQueue	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
SMTCoq	Unnamed repository; edit this file 'description' to name the repository.		summary log tree
Simplex	Simplex algorithm implementation for integer linear programming.	3 years	summary log tree
SwitchPCB	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
TicTacToe	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
VerilogCoursework	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
Vivant	OpenGL low-poly terrain generation written in Haskell.	3 years	summary log tree
WaveGenerator	Unnamed repository; edit this file 'description' to name the repository.	3 years	summary log tree
YAGE	YAGE game engine implementation.	3 years	summary log tree
alluvial-hs	Alluvial diagram generation for Tex using Haskell.	3 years	summary log tree
aoc21	[no description]		summary log tree
biteq	[no description]		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
compcert	CompCert fork with minor modifications for Vericert.	12 months	summary log tree
compcert-kvx	Unnamed repository; edit this file 'description' to name the repository.	2 years	summary log tree
dot_product	An implementation of a dotproduct for FPGAs using Catapult C.	3 years	summary log tree
dotfiles	Dotfiles for Linux and Macos.	9 months	summary log tree
emacs-zettelkasten	Simple zettelkasten mode for emacs.	14 months	summary log tree
fccm21_esrhls	Empirical study of the reliability of high-level synthesis.	3 years	summary log tree
fccm22_rsvhls	Resource sharing for verified high-level synthesis.	2 years	summary log tree
flashlight22	[no description]		summary log tree
fpga20_fubfst	Finding and understanding bugs in FPGA synthesis tools.	3 years	summary log tree
gitolite-admin	Unnamed repository; edit this file 'description' to name the repository.	11 months	summary log tree
gsa-mlir	[no description]	19 months	summary log tree
gsa-parser	[no description]	2 years	summary log tree
hugo-ymherklotz	Custom Hugo theme for https://yannherklotz.com.	2 years	summary log tree
imperial_2015	A repository with code from my first year at university.	3 years	summary log tree
ini22	[no description]		summary log tree
latte21_hlstpc	High-level synthesis tools should be proven correct.	3 years	summary log tree
leela	Ray tracer written in pure rust running on the CPU.	3 years	summary log tree
lsr22_fvhls	[no description]	5 months	summary log tree
median-cut	Median cut illumination map generation implementation implemented in Haskell.	3 years	summary log tree
mirror-ball	Mirror ball ray tracing implementation.	3 years	summary log tree