danelahman/Dep-Mon-Parsing

Stars
3
Rank 3,963,521 (Top 79 %)
Language Agda
Created almost 8 years ago
Updated about 7 years ago

danelahman/Dep-Mon-Parsing

danelahman

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A simple example of monadic parsing (in the dependently typed setting) discussed in Appendix A of my PhD thesis "Fibred Computational Effects".

haskell-coop

An experimental Haskell library for programming with effectful runners.

lograc-2022

Git repository for the course Logika v računalništvu

Directed-Containers

An Agda formalisation of the theory of directed containers

aeff-agda

Agda formalisation of the AEff language

POPL18

An Agda formalisation accompanying the examples given in Section 7 of the paper "Handling fibred algebraic effects".

Normalization-By-Evaluation

Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories

esp32-fstar

Examples of ESP32 applications written and verified in F*, and extracted to C

eff-star

higher-order-aeff-agda

Agda formalisation of the AEff language (with higher-order payloads, reinstallable interrupt handlers, and dynamic process creation)