Léon Gondelman leon-gondelman

4 followers · 5 following

• SSH keys
• GPG keys

• https://cs.au.dk/~gondelman/
• Joined on 2020-07-12

Repositories

4

Projects Packages Starred repositories

10

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

pp26

HTML 0 0

Programming Paradigms Course at AAU Copenhagen 2026

Updated 2026-09-09 09:20:59 +00:00

ocaml2lang

OCaml 0 0

Compiler from OCaml to AnerisLang

Updated 2025-06-27 11:39:02 +00:00

SPO2024

0 0

Language and Compiler's Course 2024 Aalborg University

Updated 2024-01-19 14:39:00 +00:00

crdts

OCaml 1 0

OCaml implementations of Conflict-Free Replicated Datatypes for Fun and Profit. (Distributed System Project Course)

Updated 2023-06-10 18:15:17 +00:00