10

8

6

4

2


10.0

9.8
Agda

1 Agda package

  • Agda

    10.0 9.8 Haskell
    Agda is a dependently typed programming language / interactive theorem prover.
WorkOS - The modern identity platform for B2B SaaS
sponsored workos.com

Popular Comparisons

InfluxDB - Power Real-Time Data Analytics at Scale
sponsored www.influxdata.com

Add another 'Agda' Package