ml-2

Pinned Repositories

mm0
Metamath Zero specification language
Language:Rust301 21 5840
janet
A dynamic language and bytecode vm
Language:C3.4k 63 680216
cannette
Janet C and C++ code generator
Language:Janet20
janet
A dynamic language and bytecode vm
Language:C00
jimmy
Janet bindings for the persistent data structure library "immer"
Language:C++00
mmj2
mmj2 GUI Proof Assistant for the Metamath project
Language:Java00
purevec
Persistent vectors in pure Janet.
Language:Janet10
set.mm
Metamath source file for logic and set theory
Language:HTML00
spork
Various Janet utility modules - the official "Contrib" library.
Language:Janet00
stx
Syntax objects in Janet
Language:Janet30

ml-2's Repositories

ml-2/stx
Syntax objects in Janet
Language:Janet30
ml-2/cannette
Janet C and C++ code generator
Language:Janet20
ml-2/purevec
Persistent vectors in pure Janet.
Language:Janet10
ml-2/janet
A dynamic language and bytecode vm
Language:C00
ml-2/jimmy
Janet bindings for the persistent data structure library "immer"
Language:C++00
ml-2/mmj2
mmj2 GUI Proof Assistant for the Metamath project
Language:Java00
ml-2/set.mm
Metamath source file for logic and set theory
Language:HTML00
ml-2/spork
Various Janet utility modules - the official "Contrib" library.
Language:Janet00