Explore projects
-
Qirui WANG / lmntalc
MIT LicenseUpdated -
-
-
Qirui WANG / lmntal-lsp
MIT LicenseUpdated -
Qirui WANG / lmntal-translator
MIT LicenseUpdated -
Updated
-
Updated
-
-
Jin SANO / the fun of programming
MIT LicenseUpdated -
A very basic Haskell (the Core language) compiler and the runtime (G-Machine) in graph rewriting language LMNtal (elemental).
Updated -
A very basic parser combinator implementation in LMNtal (elemental).
Updated -
-
Updated
-
-
Updated
-
LMNtal / SLIM
BSD 3-Clause "New" or "Revised" LicenseSLIM is an LMNtal runtime written in C language, a model checker based on LMNtal.
Updated -
-
Updated
-
-
Updated