Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Logic Type Theory Open Source Projects

Open source projects categorized as Logic Type Theory
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Martin Lof ⭐ 670
papers of Per Martin Löf
most recent commit a year ago
Miniprl ⭐ 48
A small implementation of a proof refinement logic.
most recent commit 7 years ago
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
total releases 1most recent commit 3 years ago
Agda Algebras ⭐ 24
The Agda Universal Algebra Library (html docs available at the url below)
most recent commit 6 months ago
Linearml ⭐ 22
A simple implementation of linear type theory
most recent commit 7 years ago
Programming Language Research ⭐ 10
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
most recent commit a year ago
Isabelle Spartan ⭐ 6
A dependent type theory logic for Isabelle
most recent commit 3 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
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.