Skip to content
View tonykero's full-sized avatar
🖖
Moving forward
🖖
Moving forward
66 followers · 69 following
  • France
  • 09:07 (UTC +01:00)

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Block or report tonykero

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++ 35 5

  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