Yann Herklotz

verismith. Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

vericert. A formally verified high-level synthesis tool based on CompCert and written in Coq.

emacs-zettelkasten. Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/

YAGE. 2D game engine with integrated Entity Component System

dotfiles. Personal dotfiles for linux and macos.

HuaweiChallenge. Attempt made by George Punter, Alexander T. Luisi, Owen Harcome, Yann Herklotz, Divyansh Manocha and Martin Ferianc for the Huawei Debluring challenge 2017

fuzzing-hls. Finding bugs in high-level synthesis tools using Csmith to generate random, valid C programs.

A-star-algorithm. A* Algorithm for game AI's so that they can move around. This uses heuristic methods and current path to calculate the fastest path with the minimum amount of search.

ymherklotz.

mirror-ball. Lighting a mirror ball using a lat-long map.

routracer. Path tracing implemented in Rust using Vulkan.

phd-thesis. TeX

pong-rs. Pong written in rust, following the amethyst example.

alluvial-hs. Generate alluvial diagrams for tikz and latex.

ChessAI. programming a chess AI

TuringLab. Turinglab projects in p5js

CompCert. The CompCert formally-verified C compiler

MipsCPU. A Mips I CPU simulation written in C++ that is completely programmable and can run most instructions.

Cardeval. This analyses all the cards in hearthstone and evaluates how much they are aggro or control.