Popular repositories Loading

1. chess chess Public

   Forked from ecere/chess

   Ecere Chess

   eC 1

2. grammars-v4 grammars-v4 Public

   Forked from antlr/grammars-v4

   Grammars written for ANTLR v4; expectation that the grammars are free of actions.

   ANTLR 1

3. ATS-Postiats ATS-Postiats Public

   Forked from githwxi/ATS-Postiats

   ATS2: Unleashing the Potentials of Types and Templates

   ATS 1

4. FStar FStar Public

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   F# 1

5. mythryl mythryl Public

   Forked from mythryl/mythryl

   The Mythryl programming language

   TeX 1

6. type-systems type-systems Public

   Forked from tomprimozic/type-systems

   Implementations of various type systems in OCaml.

   OCaml 1