This is your work, valued

Paris

Yann Hamdaoui

Advanced
@yannham

Programming languages design & implementation :heart: Rust, functional programming, OSS

hamdaoui.me

mechaml. OCaml functional web scraping library

93

visual-goi. A graphical tool to translate lambda terms to proof nets and run GoI token machine on it

10

tree-of-light. C++

1