Want to take your software engineering career to the next level? Join the mailing list for career tips & advice Click here


Programming library for Agda

Subscribe to updates I use agda-prelude

Statistics on agda-prelude

Number of watchers on Github 53
Number of open issues 2
Average time to close an issue 6 months
Main language Agda
Average time to merge a PR about 14 hours
Open pull requests 0+
Closed pull requests 4+
Last commit over 2 years ago
Repo Created about 6 years ago
Repo Last Updated over 2 years ago
Size 699 KB
Organization / Authorulfnorell
Page Updated
Do you use agda-prelude? Leave a review!
View open issues (2)
View agda-prelude activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Software engineers: It's time to get promoted. Starting NOW! Subscribe to my mailing list and I will equip you with tools, tips and actionable advice to grow in your career.
Evaluating agda-prelude for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

This is an alternative to the Agda standard library that focuses more on programming and type checking time performance.

Notable features:

  • Makes heavy use of instance arguments.

  • Efficient decision procedures for natural number arithmetic (Tactic.Nat).

  • Evidence-producing and efficient gcd and primality testing (Data.Nat.GCD and Data.Nat.Prime).

This is very much work in progress, so expect major changes. In particular the proof-side of things is very much unstructured.

agda-prelude list of languages used
Other projects in Agda