Popular repositories Loading

1. haskell haskell Public

   Haskell practice

   Haskell 4

2. perl perl Public

   Perl practice

   Perl 1

3. idris idris Public

   My dependently-typed laboratory.

4. bash bash Public

   Bash practice

   Shell

5. scala scala Public

   Scala practice

   Scala

6. coq coq Public

   My theorem proving laboratory.

   Coq