- 💻 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)
- 🐘 PHP
- 🌔 Lua
- 🦀 Rust (beginner;)
- 📖 Life long learner
2024, sept: I'm part of the Sismic team, a software publisher.
My role is to help the team improve the quality of its source code production
(agile mindset, software design, testing, etc.).
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 interpretation),
part of a research project on OCaml to Wasm compilation.