Discover @sano-jin Open Source projects

sano (@sano-jin)

sano-jin

Stars
75
Global Rank 255,876 (Top 9 %)
Followers 10
Following 9
Registered over 4 years ago
Most used languages

OCaml
38.5 %

TypeScript
15.4 %

Rust
7.7 %

JavaScript
7.7 %

CSS
7.7 %

Elm
7.7 %

TeX
7.7 %

Haskell
7.7 %
Location 🇯🇵 Japan
Country Total Rank 6,590
Country Ranking

TeX
22

OCaml
72

Elm
108

Haskell
487

Rust
1,522

CSS
1,713

TypeScript
2,415

JavaScript
7,886

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.

bussproofs-html

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

python-in-ocaml

A very small subset of Python written in OCaml

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

lambda-gt-playground

A playground of the Lambda GT language.

dhl-alpha

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

wiki-rs

A simple wiki created with Rust from scratch

dhl-in-ocaml

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

meetup-town

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

vertex

A proof of concept of DHLMNtal.

learn-jsoo

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

marp-theme-aqua

A simple and elegant Marp theme

elm-graph-drawing