Skip to content
View tonykero's full-sized avatar
🖖
Moving forward
🖖
Moving forward
  • France
  • 14:01 (UTC +01:00)

Block or report tonykero

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
tonykero/README.md

Antoine Karcher

Hello, I am a french engineer.

I am interested in developing my skills in:

  • High Performance Computing (Parallel & Distributed & Heterogenous Computing)
  • Formal Verification (Theorem Provers & Compilers)
  • Numerical Simulation

I started lots of projects to learn things but dropped most of them too.
So for now my repositories are not as interesting as I wanted them to be.

In the future you may or may not see some of the following projects appear on my Github:

  • SMT Solver (See Z3, CVC5)
  • Non-turing complete functional language (See Charity, TFP)
  • ...

Pinned Loading

  1. Moe Moe Public

    [OLD] Moe is a C++14 header-only dependency-free library providing generic implementations of some metaheuristic algorithms

    C++ 34 4

  2. mathjit mathjit Public

    [WIP] Mathematic expression jit compiler

    C++ 2

  3. true-bitrate true-bitrate Public

    C++ clone https://github.com/dvorapa/true-bitrate

    C++ 2

  4. rpclib_clone rpclib_clone Public

    Trying to reproduce rpclib features

    C++ 1