Popular repositories Loading

1. hybrid-agda hybrid-agda Public

   Duration monad and hybrid semantics in cubical Agda

   Agda 1

2. bibtexbrowser bibtexbrowser Public

   Forked from monperrus/bibtexbrowser

   Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

   PHP

3. agda-categories agda-categories Public

   Forked from agda/agda-categories

   A new Categories library for Agda

   Agda

4. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda

5. hybrid-while hybrid-while Public

   Haskell

6. sergey-goncharov.github.io sergey-goncharov.github.io Public

   Mock Home Page

   HTML