Popular repositories Loading

1. IdrisToAgda IdrisToAgda Public

   A master thesis project implementing a Idris to Agda transpiler.

   TeX 2 1

2. Bachelor-work-Furniture Bachelor-work-Furniture Public

   Blogg and diary for our bachelor work at Chalmers the spring of 2016.

   1

3. types-notes types-notes Public

   Lecture notes taken in the Chalmers course Types for Programs and proofs.

   HTML 1 1

4. advanced-alg-notes advanced-alg-notes Public

   Lecture notes taken during the Chalmers course Advanced Algorithms (TDA251) Fall 2017.

   1

5. sfeeca sfeeca Public

   Symbolic Functional FEEC

   TeX 1 1

6. TriangoloFon TriangoloFon Public

   lalala

   Java