Our great sponsors
-
I have successfully limited my use of Agda https://gitlab.com/bss03/agda-tapl/-/blob/master/LNB.agda to ASCII. But, it doesn't use most libraries, and may not be an example of "production" Agda.
-
(For example, the standard dependent pair definition Σ, which is defined in Agda's core, does not have any).
-
Scout APM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.