There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 SystemHuaweiChallenge
Attempt made by George Punter, Alexander T. Luisi, Owen Harcome, Yann Herklotz, Divyansh Manocha and Martin Ferianc for the Huawei Debluring challenge 2017ymherklotz
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.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 AICardeval
This analyses all the cards in hearthstone and evaluates how much they are aggro or control.Love Open Source and this site? Check out how you can help us