ymherklotz/vericert

Stars
86
Rank 382,193 (Top 8 %)
Language Coq
License
GNU General Publi...
Created about 5 years ago
Updated 5 months ago

ymherklotz/vericert

ymherklotz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

verismith

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

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

HuaweiChallenge

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

ymherklotz

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.

mirror-ball

Lighting a mirror ball using a lat-long map.

phd-thesis

pong-rs

Pong written in rust, following the amethyst example.

alluvial-hs

Generate alluvial diagrams for tikz and latex.

TuringLab

Turinglab projects in p5js

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.

ChessAI

programming a chess AI

Cardeval

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