Yann's repositories
A collection of personal projects. For current development see https://sr.ht/~ymherklotz.
index
about
Name
Description
Idle
Links
FPGA-2015
A collection of Quartus projects to learn FPGA design.
3 years
summary
log
tree
second-year-computing
A repository containing code while learning data-structures and algorithms.
3 years
summary
log
tree
imperial_2015
A repository with code from my first year at university.
3 years
summary
log
tree
sudoku_solver
A simple, brute-force Sudoku solver.
3 years
summary
log
tree
sobel_filter
A sobel filter implementation for FPGAs implemented using Catapult C.
3 years
summary
log
tree
alluvial-hs
Alluvial diagram generation for Tex using Haskell.
3 years
summary
log
tree
BinaryTree
An implementation of a binary tree in C++.
3 years
summary
log
tree
dot_product
An implementation of a dotproduct for FPGAs using Catapult C.
3 years
summary
log
tree
choc
An implementation of the Calculus of Construction.
summary
log
tree
NoteReader
C++ implementation using OpenCV to read sheet music and print machine-readable s...
3 years
summary
log
tree
FMark
Commonmark parser written in F sharp with various extensions added such as macro...
3 years
summary
log
tree
compcert
CompCert fork with minor modifications for Vericert.
11 months
summary
log
tree
hugo-ymherklotz
Custom Hugo theme for https://yannherklotz.com.
2 years
summary
log
tree
MipsCPU
Cycle accurate MIPS CPU simulation.
3 years
summary
log
tree
vericert-docs
Documentation for Vericert.
2 years
summary
log
tree
dotfiles
Dotfiles for Linux and Macos.
8 months
summary
log
tree
fccm21_esrhls
Empirical study of the reliability of high-level synthesis.
2 years
summary
log
tree
fpga20_fubfst
Finding and understanding bugs in FPGA synthesis tools.
2 years
summary
log
tree
picorv32
Fork of https://github.com/YosysHQ/picorv32.
17 months
summary
log
tree
smtcoq
Fork of https://github.com/smtcoq/smtcoq.
summary
log
tree
oopsla21_fvhls
Formal verification of high-level synthesis.
2 years
summary
log
tree
pfm
Haskell parser for the pfm file format for HDR images.
3 years
summary
log
tree
latte21_hlstpc
High-level synthesis tools should be proven correct.
2 years
summary
log
tree
Compiler
MIPS Compiler implemented in standard C++.
3 years
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
Vivant
OpenGL low-poly terrain generation written in Haskell.
3 years
summary
log
tree
yannherklotz.com
Personal website hosted at https://yannherklotz.com.
8 months
summary
log
tree
ymhg-notes
Public notes that are shared.
summary
log
tree
leela
Ray tracer written in pure rust running on the CPU.
3 years
summary
log
tree
verilog
Repository with some Verilog designs used to learn Verilog simulation.
3 years
summary
log
tree
fccm22_rsvhls
Resource sharing for verified high-level synthesis.
23 months
summary
log
tree
emacs-zettelkasten
Simple zettelkasten mode for emacs.
14 months
summary
log
tree
Simplex
Simplex algorithm implementation for integer linear programming.
3 years
summary
log
tree
gitolite-admin
Unnamed repository; edit this file 'description' to name the repository.
10 months
summary
log
tree
testing
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
compcert-kvx
Unnamed repository; edit this file 'description' to name the repository.
2 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.
24 months
summary
log
tree
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
2 years
summary
log
tree
ymh-emacs
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
Arider
Unnamed repository; edit this file 'description' to name the repository.
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
DatabaseCoursework
Unnamed repository; edit this file 'description' to name the repository.
3 years
summary
log
tree
FPGA_Playground
Unnamed repository; edit this file 'description' to name the repository.
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
[1]
[2]