Jin SANO

express-beamer. A modern LaTeX Beamer theme

bussproofs-html. Proof tree renderer on HTML, which can be used with KaTeX.

satysfi-footnote-scheme-ext. A package to allow SATySFi to have floating boxes at the bottom of pages.

lambda-gt-alpha. A reference interpreter of the λGT language.

vertex. A proof of concept of DHLMNtal.

wiki-rs. A simple wiki created with Rust from scratch

dhl-alpha. A minimal compiler and runtime for a language based on graph rewriting

lambda-gt-playground. A playground of the Lambda GT language.

lmn-alpha. A minimal compiler and a runtime for a language based on graph rewriting

offside-rule-parsing. Parsing off-side ruled syntax with OCamlLex and Menhir

learn-jsoo. Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

rust-hands-on-wiki. A hands on of Rust language creating a simple wiki.

python-in-ocaml. A very small subset of Python written in OCaml

dhl-in-ocaml. A minimal interpreter of a language based on graph rewriting in OCaml