Softwares
Here are a list of programming languages that I often use.
- Ocaml, Haskell, TypeScript (React), Elm, C++, Python, Rust, a little bit of bash script, Java, etc.
Here are some of my works
Web Studio
A simple online music maker
Express Beamer
A modern LaTeX Beamer theme with minimal yet fancy color scheme and twists of material design
Meetup Town
A simple online meeting web-app implemented in TypeScript with WebRTC, Nodejs and React
programming languages and calculus models
- lmn-alpha
- A minimal compiler and runtime for a language based on graph rewriting
- https://sano-jin.github.io/
- Simple interpreters of calculus models run on browser (IMP, lambda calculus, pi calculus)
Programming languages that I often use:
- OCaml, Haskell, TypeScript, Elm, C++, Python, …
