Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Agda Open Source Projects
Open source projects categorized as Agda
Categories
>
Agda
Edit Category
agda/agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
jozefg/learn-tt
⭐
1,307
A collection of resources for learning type theory and type theory adjacent fields.
dependent packages
0
total releases
0
most recent commit
over 5 years ago
plfa/plfa.github.io
⭐
1,285
An introduction to programming language theory in Agda
dependent packages
0
total releases
0
most recent commit
about 2 years ago
agda/agda-stdlib
⭐
537
The Agda standard library
dependent packages
0
total releases
0
most recent commit
about 2 years ago
AndrasKovacs/smalltt
⭐
475
Demo for high-performance type theory elaboration
dependent packages
0
total releases
0
most recent commit
over 2 years ago
agda/cubical
⭐
408
An experimental library for Cubical Agda
dependent packages
0
total releases
0
most recent commit
about 2 years ago
agda/agda-categories
⭐
341
A new Categories library for Agda
dependent packages
0
total releases
0
most recent commit
about 2 years ago
HoTT/HoTT-Agda
⭐
319
Development of homotopy type theory in Agda
dependent packages
0
total releases
0
most recent commit
about 7 years ago
cedille/cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
dependent packages
0
total releases
0
most recent commit
over 4 years ago
plt-amy/1lab
⭐
272
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
dependent packages
0
total releases
0
most recent commit
about 2 years ago
Get A Weekly Email With Trending Agda Projects
No Spam. Unsubscribe easily at any time.
Agda
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
