Popular repositories Loading

1. compiler-JFTT compiler-JFTT Public

   Haskell

2. projects projects Public

   my programming projects

   Coq

3. type-systems-notes type-systems-notes Public

   Forked from ppolesiuk/type-systems-notes

   Lecture notes for the Type Systems course given in Autumn 2023

   TeX

4. master-thesis master-thesis Public

   repository with my master thesis

   Coq

5. dbl dbl Public

   Forked from fram-lang/dbl

   An experimental programming language that combines effect handlers and implicit parameters

   OCaml

6. andrzejki andrzejki Public

   Forked from j-michaliszyn/andrzejki