Skip to content
Avatar

Achievements

Achievements

Highlights

  • Pro

Organizations

@Zestylogic
Block or Report

Block or report ymherklotz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ymherklotz/README.md

PGP key Twitter follow @ymherklotz

Pinned Loading

  1. vericert Public

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

    Coq 47 3

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

    Haskell 66 3

  3. Simple zettelkasten mode for emacs.

    Emacs Lisp 36 2

  4. dotfiles Public

    Personal dotfiles for linux and macos.

    Emacs Lisp 8 1

  5. YAGE Public

    2D game engine with integrated Entity Component System

    C++ 6

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

    Python 7 1

839 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2021

ymherklotz has no activity yet for this period.
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.