Beast code in Giters

ml-2's repositories

Syntax objects in Janet

Language:JanetApache-2.0300

Janet C and C++ code generator

Language:JanetApache-2.0200

Persistent vectors in pure Janet.

Language:JanetCC0-1.0100

A dynamic language and bytecode vm

Language:CMIT000

Janet bindings for the persistent data structure library "immer"

Language:C++MIT000

mmj2 GUI Proof Assistant for the Metamath project

Language:JavaGPL-2.0000

Metamath source file for logic and set theory

Language:HTMLCC0-1.0000

Various Janet utility modules - the official "Contrib" library.

Language:JanetMIT000