Popular repositories Loading

1. linqxx linqxx Public

   C#'s Linq-like library for c++

   C++ 1 1

2. Formality-Core Formality-Core Public

   Forked from Soonad/Formality-Core

   Specification of the Formality proof and programming language

   JavaScript 1

3. calculus-of-constructions calculus-of-constructions Public

   Forked from VictorTaelin/calculus-of-constructions

   Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

   JavaScript

4. Formality Formality Public

   Forked from HigherOrderCO/Kind

   An efficient proof language

   JavaScript

5. cedille-core cedille-core Public

   Forked from astump/cedille-core

   Haskell

6. GH-Offset-Dumper GH-Offset-Dumper Public

   Forked from guidedhacking/GH-Offset-Dumper

   Scans for signatures and netvars and dumps their relative offsets

   C++