Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Ocaml Type Theory Open Source Projects

Open source projects categorized as Ocaml Type Theory
Categories > Compilers > Type Theory
Spartan Type Theory ⭐ 236
Spartan type theory
most recent commit 10 months ago
Cooltt ⭐ 206
😎TT
most recent commit 6 months ago
Redtt ⭐ 183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
most recent commit 2 years ago
Blott ⭐ 87
An experimental type checker for a modal dependent type theory.
most recent commit 4 years ago
Sott ⭐ 79
Simplified Observational Type Theory
most recent commit a year ago
Algaett ⭐ 27
🦠 An experimental elaborator for dependent type theory using effects and handlers
most recent commit 7 months ago
Mugen ⭐ 24
♾️ A library for universe levels and universe polymorphism
most recent commit 3 months ago
Linearml ⭐ 22
A simple implementation of linear type theory
most recent commit 7 years ago
Ptt ⭐ 19
Experimental type-checker for internally parametric type theory
most recent commit 3 years ago
Kado ⭐ 18
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
most recent commit 5 months ago
Total ⭐ 11
most recent commit 8 years ago
Orca ⭐ 10
Type theory + whales and syntax
most recent commit 4 years ago
Intuitionistic ⭐ 9
Automatically exported from code.google.com/p/intuitionistic
most recent commit 9 years ago
Grammar Experimentation ⭐ 8
An experimental programming language containing a higher-order type system
most recent commit 4 years ago
Exceptional Tt ⭐ 5
A Coq plugin that implements exceptions in Coq
most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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