Popular repositories Loading

1. proof-search-monad proof-search-monadPublic

   Tentative write-up of a neat trick used in the Mezzo type-checker

   TeX 15 1

2. FStar FStarPublic

   Forked from FStarLang/FStar

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

   OCaml 1

3. opam-repository opam-repositoryPublic

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1

4. TypeScript TypeScriptPublic

   Forked from microsoft/TypeScript

   TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

   JavaScript

5. blockly blocklyPublic

   Forked from RaspberryPiFoundation/blockly

   The web-based visual programming editor.

   JavaScript

6. ocaml-windows-bootstrap ocaml-windows-bootstrapPublic

   Forked from braibant/ocaml-windows-bootstrap

   Shell