indexabout
NameDescriptionIdleLinks
FPGA-2015A collection of Quartus projects to learn FPGA design. 3 yearssummarylogtree
second-year-computingA repository containing code while learning data-structures and algorithms. 3 yearssummarylogtree
imperial_2015A repository with code from my first year at university. 3 yearssummarylogtree
sudoku_solverA simple, brute-force Sudoku solver. 3 yearssummarylogtree
sobel_filterA sobel filter implementation for FPGAs implemented using Catapult C. 3 yearssummarylogtree
alluvial-hsAlluvial diagram generation for Tex using Haskell. 3 yearssummarylogtree
BinaryTreeAn implementation of a binary tree in C++. 3 yearssummarylogtree
dot_productAn implementation of a dotproduct for FPGAs using Catapult C. 3 yearssummarylogtree
chocAn implementation of the Calculus of Construction. summarylogtree
NoteReaderC++ implementation using OpenCV to read sheet music and print machine-readable s...3 yearssummarylogtree
FMarkCommonmark parser written in F sharp with various extensions added such as macro...3 yearssummarylogtree
compcertCompCert fork with minor modifications for Vericert. 11 monthssummarylogtree
hugo-ymherklotzCustom Hugo theme for https://yannherklotz.com. 2 yearssummarylogtree
MipsCPUCycle accurate MIPS CPU simulation. 3 yearssummarylogtree
vericert-docsDocumentation for Vericert. 2 yearssummarylogtree
dotfilesDotfiles for Linux and Macos. 8 monthssummarylogtree
fccm21_esrhlsEmpirical study of the reliability of high-level synthesis. 2 yearssummarylogtree
fpga20_fubfstFinding and understanding bugs in FPGA synthesis tools. 2 yearssummarylogtree
picorv32Fork of https://github.com/YosysHQ/picorv32. 17 monthssummarylogtree
smtcoqFork of https://github.com/smtcoq/smtcoq. summarylogtree
oopsla21_fvhlsFormal verification of high-level synthesis. 2 yearssummarylogtree
pfmHaskell parser for the pfm file format for HDR images. 3 yearssummarylogtree
latte21_hlstpcHigh-level synthesis tools should be proven correct. 2 yearssummarylogtree
CompilerMIPS Compiler implemented in standard C++. 3 yearssummarylogtree
median-cutMedian cut illumination map generation implementation implemented in Haskell. 3 yearssummarylogtree
mirror-ballMirror ball ray tracing implementation. 3 yearssummarylogtree
VivantOpenGL low-poly terrain generation written in Haskell. 3 yearssummarylogtree
yannherklotz.comPersonal website hosted at https://yannherklotz.com. 8 monthssummarylogtree
ymhg-notesPublic notes that are shared. summarylogtree
leelaRay tracer written in pure rust running on the CPU. 3 yearssummarylogtree
verilogRepository with some Verilog designs used to learn Verilog simulation. 3 yearssummarylogtree
fccm22_rsvhlsResource sharing for verified high-level synthesis. 23 monthssummarylogtree
emacs-zettelkastenSimple zettelkasten mode for emacs. 14 monthssummarylogtree
SimplexSimplex algorithm implementation for integer linear programming. 3 yearssummarylogtree
gitolite-adminUnnamed repository; edit this file 'description' to name the repository. 10 monthssummarylogtree
testingUnnamed repository; edit this file 'description' to name the repository. summarylogtree
butterstickUnnamed repository; edit this file 'description' to name the repository. summarylogtree
compcert-kvxUnnamed repository; edit this file 'description' to name the repository. 2 yearssummarylogtree
org-zettelkastenUnnamed repository; edit this file 'description' to name the repository. summarylogtree
ox-tufteUnnamed repository; edit this file 'description' to name the repository. 24 monthssummarylogtree
vericert-kvxUnnamed repository; edit this file 'description' to name the repository. 2 yearssummarylogtree
ymh-emacsUnnamed repository; edit this file 'description' to name the repository. summarylogtree
zk-visualUnnamed repository; edit this file 'description' to name the repository. summarylogtree
AriderUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
CardevalUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
ChessAIUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
DatabaseCourseworkUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
FPGA_PlaygroundUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
NetworkCourseworkUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
NoiseSilencerUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree