Discover @danelahman Open Source projects

Danel Ahman (@danelahman)

danelahman

Stars
72
Global Rank 263,672 (Top 10 %)
Followers 39
Registered over 13 years ago
Most used languages

Agda 62.5 %

F* 25.0 %

Haskell
12.5 %
Location 🇸🇮 Slovenia
Country Total Rank 191
Country Ranking

F* 1

Agda 2

Haskell
2

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

Dep-Mon-Parsing

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

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)