Programming languages design & implementation :heart: Rust, functional programming, OSS
mechaml. OCaml functional web scraping library
visual-goi. A graphical tool to translate lambda terms to proof nets and run GoI token machine on it
tree-of-light. C++
