sano-jin/elm-graph-drawing

Stars
0
Language

sano-jin/elm-graph-drawing

sano-jin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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