- 💻 R&D software engineer
- 💽 Computer Scientist, work in progress ;)
- ➿ Programming languages design enthusiast
- 🌍 Need for open source
- 🌻 Convinced by the minimalist philosophy
- 🤔 Discovering low tech computing approach
- 🐫 OCaml
- 🕸 WebAssembly (wasm)
- 🦀 Rust
- 🌔 Lua
- 🐘 PHP
- 🌐 Javascript, Typescript
- 📖 Life long learner
2025, sept: PhD project under construction! (general topic: about degrowth of programming languages and their tools).
miniml2wasm (MiniML to WebAssembly compiler) is a personal pedagogical project.
This compiler, written in OCaml, has several goals : First of all, it's always difficult to write a compiler, so, let's try!
Next, I'd like to better understand ML languages (e.g. strong static typing, inference) and manipulate Wasm bytecode.
ola (Ocaml LuA interpreter) is a personal pedagogical project.
First of all, ola is a Lua language interpreter written in OCaml.
Then, ola is a space where I can really discover Lua.
At the end, my objective is to obtain a deeper understanding of dynamic languages,
build on a minimal (but powerful) design!
I contributed (I remain close) to the OCamlPro owi 🐌 project
(OCaml WebAssembly toolchain : concrete and symbolic execution),
part of a research project on OCaml to Wasm compilation.
The project is currently very dynamic.
Many new features related to automated testing and bug finding: See more details.