Popular repositories Loading

1. report report Public

   Forked from effect-handlers/16112-report

   TeX

2. turtle-race turtle-race Public

   Uvod v Programiranje exercise: Let your turtle compete.

   Python

3. final-pfin final-pfin Public

   Forked from niccoloveltri/final-pfin

   Agda

4. Stream-Equivalence Stream-Equivalence Public

   Repository for the formalisation of the paper titled: Streams of Approximations, Equivalence of Recursive Effectful Programs

   Agda

5. Slice-Nondeterminism Slice-Nondeterminism Public

   Nondeterminism indexed

   Agda

6. modal-proof-search modal-proof-search Public

   Haskell