Language Breakdown
Lines of code distribution across 30 owned repositories
T-Shaped Developer
T-shapedDeep in C with broad versatility
Collaboration Network
Global Impact visualization
Repos
61
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Virgile Prevosto
@vprevosto
Jean-Christophe Filliatre
@backtracking
SalsaGal
@SalsaGal
Ray
@raysan5
Liam
@Liam-Wirth
Top Repositories
Imperative programming language implemented in C that transpiles to C
SImple stack-based Forth-like language implemented in C.
Conway's Game of Life implemented in OCaml using the Raylib package
MonoCaml is an experimental compiler for a subset of OCaml, targeting LLVM IR with the goal of leveraging aggressive type specialization for performance gains.
Lean expression evaluator with its associated equivalent small-step semantic.
Small proof-of-concept expression replacer written in C#.
Newton's fractal implemented using Intel's ISPC language.
Projet dans le cadre du cours de preuve formelle mécanisée à l'ENSIIE.
Open Source Impact
Contributions to external projects
