Popular repositories Loading

1. PropositionalCalculus PropositionalCalculus Public

   Java

2. proofassistant proofassistant Public

   Project for Functional Programming course

   Haskell

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. dbl dbl Public

   Forked from fram-lang/dbl

   An experimental programming language that combines effect handlers and implicit parameters

   OCaml

5. py-calendar py-calendar Public

   Simple CRUD app with client and server. Made for Python course in winter 2023 at UWr.

   Python