abeln

Abel Nieto's repositories

Scala with explicit nulls

Language:ScalaNOASSERTION23 7 22

Algorithms from Compilling With Continuation (Appel)

Language:OCaml1 20

Language:JavaScript020

Language:HaskellBSD-3-Clause020

Language:Makefile020

Source of the crdt.tech website

Language:CSSApache-2.0000

Language:OCaml020

Command-line tool to ease the migration to https://git.io/scala-null

Language:Scala020

Docs related to the Scala with Explicit Nulls project

020

Practice with Iris (https://iris-project.org)

Language:Coq010

Language:C++020

Language:OCaml020

Compiler from OCaml to AnerisLang

Language:OCaml000

Verifying concurrent crash-safe systems

Language:CoqMIT000

Programming Languages Farm

Language:Scala020

Language:Coq020

Program (dis)equivalence for MIPS through concolic execution

Language:TeX020