pedagand

MPRI-2.4-DTP

MPRI-2.4 Dependently-typed Functional Programming

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

babel-MAC

bootstrap

CMSC430

CMSC 430 Design and Implementation of Programming Languages

Code-the-Classics

Assets from Code the Classics

code3

The source code for Amazon Web Services in Action 3rd edition.

CompCert

The CompCert formally-verified C compiler

cubical_forcing

forcing on the cube category to realize univalence

gt-prog

heaviest-subsequence

libndt

A formal library on spreadable properties over linked nested datatypes

LMFI-HoTT

mergeory

minigloca

MPRI-2.4-equations-teacher

MPRI-2.4-goto-teacher

MPRI-2.4-monads-teacher

MPRI-2.4-nbe-teacher

NigronThesis

numerical-representations

plong-22-funopt

RegAlloc

Allocation de registre

SimpleAlloc

Tornado

Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model

usuba

A programming language to write bitsliced ciphers

usuba_coq

Formalization of Usuba front-end in Coq

usubot

Bot for usuba

verse-coq

VERified asSembler for cryptographic primitives

zrun

A Coiteration-based Executable Synchronous Semantics.