Consists of a Functional language as well as an Imperative language, implemented using Ocaml
-
Updated
Jan 27, 2021 - OCaml
#
type-checker
Here are 14 public repositories matching this topic...
-
Updated
Sep 24, 2016 - OCaml
A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)
-
Updated
Apr 15, 2022 - OCaml
CS4212 - A mini compiler for Go language implemented in Ocaml
-
Updated
Nov 18, 2016 - OCaml
Hurricane: HoTT-I Type System
dependent-types proof-assistant hott theorem-prover type-checker mltt homotopy-type-theory hott-uf dependent-type-theory
-
Updated
Mar 21, 2022 - OCaml
A Python type checker and linter that just works.
-
Updated
Dec 16, 2017 - OCaml
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
-
Updated
Mar 24, 2017 - OCaml
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
-
Updated
May 14, 2018 - OCaml
Castle Bravo: Experimental HoTT Implementation
dependent-types proof-assistant hott theorem-prover type-checker mltt homotopy-type-theory univalent-foundations hott-uf
-
Updated
Jun 16, 2023 - OCaml
type-system, revised unification algorithm and runtime time representations
-
Updated
Dec 12, 2019 - OCaml
🧊 Модальний гомотопічний верифікатор математики
-
Updated
May 30, 2025 - OCaml
Anders: Cubical Type Checker
dependent-types proof-assistant cubical-type-theory type-system hott theorem-prover type-checker mltt ctt homotopy-type-theory dependent-type-theory
-
Updated
Oct 23, 2023 - OCaml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
-
Updated
Dec 21, 2018 - OCaml
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."