-
temporal-millet Public
https://danel.ahman.ee/temporal-millet/
-
eff Public
Forked from matijapretnar/effA functional programming language based on algebraic effect handlers
OCaml BSD 2-Clause "Simplified" License UpdatedNov 10, 2025 -
Normalization-By-Evaluation Public
Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
-
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedAug 31, 2025 -
Directed-Containers Public
An Agda formalisation of the theory of directed containers
-
-
millet Public
Forked from matijapretnar/milletA ML-like pure functional language that can be used as a template for creating your own language
OCaml MIT License UpdatedJan 8, 2025 -
higher-order-aeff-agda Public
Agda formalisation of the AEff language (with higher-order payloads, reinstallable interrupt handlers, and dynamic process creation)
-
-
esp32-fstar Public
Examples of ESP32 applications written and verified in F*, and extracted to C
-
temporal-resources Public
Agda formalisation of a core language for temporal resources
-
lograc-project-2022 Public
Skeleton project repository for the Logika v računalništvu course
-
lograc-2022 Public
Git repository for the course Logika v računalništvu
-
-
formaltt Public
Forked from Chaaaos/formalttFormalization of type theory
Agda MIT License UpdatedMay 21, 2021 -
haskell-coop Public
An experimental Haskell library for programming with effectful runners.
-
POPL18 Public
An Agda formalisation accompanying the examples given in Section 7 of the paper "Handling fibred algebraic effects".
-
Dep-Mon-Parsing Public
A simple example of monadic parsing (in the dependently typed setting) discussed in Appendix A of my PhD thesis "Fibred Computational Effects".
{{ message }}