Popular repositories Loading

1. acorn acorn Public

   An agda2hs-compatible implementation of Krebbers–Spitters reals, focusing on usability.

   Agda 1

2. pluto pluto Public

   Forked from EotvosCollegium/pluto

   The open source software development course's repository.

   PHP

3. bishop bishop Public

   Forked from z-murray/honours-project-constructive-analysis-in-agda

   A constructive analysis library written in Agda and based on Errett Bishop's work. Continuing Zachary Murray's original project.

   Agda

4. mars mars Public

   Forked from EotvosCollegium/mars

   Unified IT System of the Eötvös József College for Advanced Studies.

   PHP 1

5. whitespace whitespace Public

   Fájlok a Whitespace feladathoz.

   Witcher Script

6. agda2hs agda2hs Public

   Forked from agda/agda2hs

   Compiling Agda code to readable Haskell

   Agda