Popular repositories Loading

1. parallel-j parallel-j Public

   (Abandoned) Parallel Scala Collections Library Based on J

   Scala 6 10

2. J-in-Agda J-in-Agda Public

   Sketch of J arrays and function rank in Agda

   Agda 2

3. baseconvert baseconvert Public

   CLI tool for arbitrary base converstion

   Haskell 2

4. Project-Eulgda Project-Eulgda Public

   Project Euler solutions in Agda (sometimes Haskell)

   Agda 1

5. Purely-Functional-Dagdastructures Purely-Functional-Dagdastructures Public

   Purely Functional Datastructures in Agda. From the thesis of Chris Okasaki (http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf)

   Agda 1

6. daily-prover daily-prover Public

   https://coq-math-problems.github.io/

   Agda 1