yoric wrote 1 year ago:
A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →
Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, complete, Dependent Types
yoric wrote 1 year ago:
A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →
Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, // AST //, C#