Awesome Open Source

Programming Languages

Search results for ocaml type theory

15 search results found

Spartan Type Theory ⭐ 236

Spartan type theory

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

An experimental type checker for a modal dependent type theory.

Simplified Observational Type Theory

🦠 An experimental elaborator for dependent type theory using effects and handlers

♾️ A library for universe levels and universe polymorphism

Linearml ⭐ 22

A simple implementation of linear type theory

Experimental type-checker for internally parametric type theory

🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory

Type theory + whales and syntax

Intuitionistic ⭐ 9

Automatically exported from code.google.com/p/intuitionistic

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

Exceptional Tt ⭐ 5

A Coq plugin that implements exceptions in Coq

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Language Ocaml (289)

Types Ocaml (280)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.