Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Agda Dependent Types Type Theory Open Source Projects

Open source projects categorized as Agda Dependent Types Type Theory
Categories > Agda
Categories > Programming Languages > Dependent Types
Categories > Compilers > Type Theory
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Hott Uf Agda Lecture Notes ⭐ 204
Lecture notes on univalent foundations of mathematics with Agda
most recent commit 8 months ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Agda Algebras ⭐ 24
The Agda Universal Algebra Library (html docs available at the url below)
most recent commit 6 months ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
The 2 Latest Releases In Agda Dependent Types Type Theory Open Source Projects
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8latest release January 18, 2020most recent commit 4 years ago
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.