sano's Projects
Proof tree renderer on HTML, which can be used with KaTeX.
data structures and algorithms implemented with cpp
a very simple css for html without additional classes or ids
A minimal compiler and runtime for a language based on graph rewriting
A minimal interpreter of a language based on graph rewriting in OCaml
A LISP consists of atoms and difference lists.
A modern LaTeX Beamer theme
An IMP language interpreter written in OCaml
A KaTeX macro preprocessor
A reference interpreter of λGT
A PoC of the Lambda GT Language
A playground of the Lambda GT language.
A vim plugin for the Lambda GT language
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.
A minimal compiler and a runtime for a language based on graph rewriting
markdown preview plugin for (neo)vim
A neovim plugin for Marp
A simple and elegant Marp theme
A simple online meeting web-app implemented in TypeScript with WebRTC, Nodejs and React
A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.
Parsing off-side ruled syntax with OCamlLex and Menhir
Pi-calculus interpreter
A tool to convert markdown to pukiwiki.