Top 7 Agda Agda Projects
-
Project mention: Static Type Safety with Variadic Functions: an Idea and a Question | /r/ProgrammingLanguages | 2023-05-11
For further reading, there's a paper on arity generic programming and some solutions using dependent typing in Agda.
-
For those interested in formalisation of homotopy type theory, there are several (more or less) active and developed libraries. To mention a few:
UniMath (https://github.com/UniMath/UniMath, mentioned in the article)
Coq-HoTT (https://github.com/HoTT/Coq-HoTT)
agda-unimath (https://unimath.github.io/agda-unimath/)
cubical agda (https://github.com/agda/cubical)
All of these are open to contributions, and there are lots of useful basic things that haven't been done and which I think would make excellent semester projects for a cs/math undergrad (for example).
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
I just wonder if there are any irl meetups of people involved with formalizing mathematics, I thought that it would be a cool hobby to pick up (with some background in math and programming) but the existing libraries, like MathLib, TypeTopology or UniMath look a bit intimidating...
-
-
-
template-agda
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Agda Agda related posts
Index
What are some of the best open-source Agda projects in Agda? This list will help you:
Project | Stars | |
---|---|---|
1 | agda-stdlib | 554 |
2 | cubical | 415 |
3 | TypeTopology | 210 |
4 | agdarsec | 119 |
5 | Agda | 116 |
6 | template-agda | 8 |
7 | agda-life | 0 |