Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 21 Agda Dependent Types Open Source Projects

Open source projects categorized as Agda Dependent Types
Categories > Agda
Categories > Programming Languages > Dependent Types
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 3 years ago
Hott Uf Agda Lecture Notes ⭐ 204
Lecture notes on univalent foundations of mathematics with Agda
most recent commit 8 months ago
Silt ⭐ 204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
most recent commit 5 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Nano Agda ⭐ 64
Tiny type-checker with dependent types
most recent commit 10 years ago
Agda From Nothing ⭐ 62
A workshop on learning Agda with minimal prerequisites.
most recent commit 8 years ago
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
Why Dependent Types Matter ⭐ 61
Companion code for "Why Dependent Types Matter" paper.
most recent commit 6 years ago
Aopa ⭐ 61
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
most recent commit 8 years ago
Mlang ⭐ 60
Towards changing things and see if it proofs
most recent commit 3 years ago
Meta Cedille ⭐ 52
Minimalistic dependent type theory with syntactic metaprogramming
most recent commit 4 months ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Ataca ⭐ 45
A TACtic library for Agda
most 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
Agda Ecosystem ⭐ 18
most recent commit 6 years ago
Agda From Nothing 2017 ⭐ 11
Agda from Nothing: Order in the Types
most recent commit 7 years ago
Ualib.github.io ⭐ 7
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
most recent commit 3 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Convex ⭐ 6
Convex Optimization using Dependent Types and Matrix Free Formulations
most recent commit 4 years ago
Dep Typed Wbl Heaps ⭐ 6
Verifying weight biased leftist heaps using dependent types in Agda
most recent commit 6 years ago
The 2 Latest Releases In Agda Dependent Types 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.