Aymeric Fromherz's repositories
ocaml-python3
A parser for Python3
catala
Programming language for literate programming law specification
Language:OCamlApache-2.0000
CitizenWatt-docker
Dockerfile to run CitizenWatt, based on Ubuntu 14.04 docker image.
Language:Python000
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:F*000
FStar
Verification system for effectful programs
Language:F*Apache-2.0000
jconstraints
A constraint solver abstraction layer for Java
Language:JavaApache-2.0000
jconstraints-z3
jConstraints abstraction layer for Z3
Language:JavaApache-2.0000
jpf-symbc
Symbolic PathFinder
Language:Java000
Language:C++NOASSERTION000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
scd.niols.fr
Niols's Repository of (Mostly Unpublished) Scottish Country Dances
Language:Jinja000