ymherklotz

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/

dotfiles

Personal dotfiles for linux and macos.

YAGE

2D game engine with integrated Entity Component System

fuzzing-hls

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

ymherklotz

mirror-ball

Lighting a mirror ball using a lat-long map.

alluvial-hs

Generate alluvial diagrams for tikz and latex.

phd-thesis

pong-rs

Pong written in rust, following the amethyst example.

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.

routracer

Path tracing implemented in Rust using Vulkan.

TuringLab

Turinglab projects in p5js

blarney

Hardware description in Haskell

ebib

A BibTeX database manager for Emacs.

FMark

Markdown parser to html with many useful extensions and a purely functional implementation.

lambda-calc

Lambda Calculus parser written in haskell.

learnopengl

median-cut

Median cut for deterministic biased sampling of environment maps.

NoiseSilencer

orgcss

Simple and clean CSS for Org-exported HTML

oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools

ox-context

An Org Mode export backend for ConTeXt

pfm

PFM parsing library for Debevec's file format.

SHA256-collision

Coursework for CO409 Cryptography.

smtcoq

Communication between Coq and SAT/SMT solvers

vericert-docs

Vericert documentation website.

website-imperial

This is my website repository