indexabout
NameDescriptionIdleLinks
lsr22_fvhls[no description]4 monthssummarylogtree
dotfilesDotfiles for Linux and Macos. 8 monthssummarylogtree
yannherklotz.comPersonal website hosted at https://yannherklotz.com. 8 monthssummarylogtree
gitolite-adminUnnamed repository; edit this file 'description' to name the repository. 10 monthssummarylogtree
compcertCompCert fork with minor modifications for Vericert. 11 monthssummarylogtree
emacs-zettelkastenSimple zettelkasten mode for emacs. 14 monthssummarylogtree
zk-visual[no description]15 monthssummarylogtree
picorv32Fork of https://github.com/YosysHQ/picorv32. 17 monthssummarylogtree
vericertVericert is a formally verified high-level synthesis tool. 18 monthssummarylogtree
gsa-mlir[no description]18 monthssummarylogtree
fccm22_rsvhlsResource sharing for verified high-level synthesis. 23 monthssummarylogtree
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
compcert-kvxUnnamed repository; edit this file 'description' to name the repository. 2 yearssummarylogtree
vericert-docsDocumentation for Vericert. 2 yearssummarylogtree
hugo-ymherklotzCustom Hugo theme for https://yannherklotz.com. 2 yearssummarylogtree
gsa-parser[no description]2 yearssummarylogtree
latte21_hlstpcHigh-level synthesis tools should be proven correct. 2 yearssummarylogtree
fccm21_esrhlsEmpirical study of the reliability of high-level synthesis. 2 yearssummarylogtree
fpga20_fubfstFinding and understanding bugs in FPGA synthesis tools. 2 yearssummarylogtree
oopsla21_fvhlsFormal verification of high-level synthesis. 2 yearssummarylogtree
verilogRepository with some Verilog designs used to learn Verilog simulation. 3 yearssummarylogtree
NoteReaderC++ implementation using OpenCV to read sheet music and print machine-readable s...3 yearssummarylogtree
imperial_2015A repository with code from my first year at university. 3 yearssummarylogtree
sobel_filterA sobel filter implementation for FPGAs implemented using Catapult C. 3 yearssummarylogtree
dot_productAn implementation of a dotproduct for FPGAs using Catapult C. 3 yearssummarylogtree
sudoku_solverA simple, brute-force Sudoku solver. 3 yearssummarylogtree
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
BinaryTreeAn implementation of a binary tree in C++. 3 yearssummarylogtree
VerilogCourseworkUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
A-star-algorithman A-star algorithm implementation with a UI. 3 yearssummarylogtree
SwitchPCBUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
CardevalUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
PriorityQueueUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
FPGA_PlaygroundUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
DatabaseCourseworkUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
NetworkCourseworkUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
NumericalAnalysisUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
ChessAIUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
WaveGeneratorUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
AriderUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
TicTacToeUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
SimplexSimplex algorithm implementation for integer linear programming. 3 yearssummarylogtree
CompilerMIPS Compiler implemented in standard C++. 3 yearssummarylogtree
MipsCPUCycle accurate MIPS CPU simulation. 3 yearssummarylogtree
YAGEYAGE game engine implementation. 3 yearssummarylogtree
NoiseSilencerUnnamed repository; edit this file 'description' to name the repository. 3 yearssummarylogtree
pfmHaskell parser for the pfm file format for HDR images. 3 yearssummarylogtree
mirror-ballMirror ball ray tracing implementation. 3 yearssummarylogtree