sano-jin

express-beamer

A modern LaTeX Beamer theme

satysfi-footnote-scheme-ext

A package to allow SATySFi to have floating boxes at the bottom of pages.

lmn-alpha

A minimal compiler and a runtime for a language based on graph rewriting

dhl-alpha

A minimal compiler and runtime for a language based on graph rewriting

dhl-in-ocaml

A minimal interpreter of a language based on graph rewriting in OCaml

lambda-gt-playground

A playground of the Lambda GT language.

meetup-town

A simple online meeting web-app implemented in TypeScript with WebRTC, Nodejs and React

offside-rule-parsing

Parsing off-side ruled syntax with OCamlLex and Menhir

python-in-ocaml

A very small subset of Python written in OCaml

vertex

A proof of concept of DHLMNtal.

wiki-rs

A simple wiki created with Rust from scratch

dlisp

A LISP consists of atoms and difference lists.

lambda-gt-alpha

A reference interpreter of λGT

rust-hands-on-wiki

A hands on of Rust language creating a simple wiki.

web-studio

A simple online music composer

blog

cpp-works

data structures and algorithms implemented with cpp

css-light

a very simple css for html without additional classes or ids

imp-in-ocaml

An IMP language interpreter written in OCaml

imp-interpreter

lambda-gt-online

A PoC of the Lambda GT Language

lambda-gt.vim

A vim plugin for the Lambda GT language

lmntal_book

modern-cpp-template

A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.

pukiwiki_of_markdown

A tool to convert markdown to pukiwiki.

sano-jin

My gihub profile

sano-jin.github.io

Portfolio

satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

SATySFi

A statically-typed, functional typesetting system

seminar20210720

ゼミ資料