Giters
Léon Gondelman (leon-gondelman)

leon-gondelman

Geek Repo

7

followers

1

following

1

stars

Home Page:https://cs.au.dk/~gondelman/

Github PK Tool:Github PK Tool

Léon Gondelman's repositories

ocaml2lang

Compiler from OCaml to AnerisLang

Language:OCamlStargazers:7Issues:6Issues:2

crdts

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

Language:OCamlStargazers:1Issues:2Issues:0

cerise-stack-monotone

Language:CoqStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

SPO2024

Language and Compiler's Course 2024 Aalborg University

Stargazers:0Issues:0Issues:0