Popular repositories Loading

1. cubical cubical Public

   Forked from agda/cubical

   Agda

2. CI_Demo CI_Demo Public

   A dummy repo to show how to use a Github actions workflow for continuous integration

   Python 2

3. ex-of-prog-paradigms ex-of-prog-paradigms Public

   A repository containing simple code examples in various languages showcasing features of various programming paradigms

   Haskell

4. SimpleHoareProver SimpleHoareProver Public

   A simple implementation of Hoare logic in Agda, closely following the original paper

   Agda

5. AssignPresentations AssignPresentations Public

   A short script for randomly selecting students to present exercises

   Python

6. latex_cv latex_cv Public

   Forked from muratcankaracabey/latex_cv

   CV written using LaTeX

   TeX