R1kM

Pinned Repositories

catala
Programming language for literate programming law specification
Language:OCaml00
CitizenWatt-docker
Dockerfile to run CitizenWatt, based on Ubuntu 14.04 docker image.
Language:Python00
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:F*00
FStar
Verification system for effectful programs
Language:F*0 0 00
icfp2020-captions
00
jconstraints
A constraint solver abstraction layer for Java
Language:Java01
jconstraints-z3
jConstraints abstraction layer for Z3
Language:Java0 0 00
jpf-symbc
Symbolic PathFinder
Language:Java0 0 00
ocaml-python3
A parser for Python3
Language:OCaml70
Pathfinder
Language:C++42

R1kM's Repositories

R1kM/ocaml-python3
A parser for Python3
Language:OCaml70
R1kM/Pathfinder
Language:C++42
R1kM/catala
Programming language for literate programming law specification
Language:OCaml00
R1kM/CitizenWatt-docker
Dockerfile to run CitizenWatt, based on Ubuntu 14.04 docker image.
Language:Python00
R1kM/dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:F*00
R1kM/FStar
Verification system for effectful programs
Language:F*0 0 00
R1kM/icfp2020-captions
00
R1kM/jconstraints
A constraint solver abstraction layer for Java
Language:Java01
R1kM/jconstraints-z3
jConstraints abstraction layer for Z3
Language:Java0 0 00
R1kM/jpf-symbc
Symbolic PathFinder
Language:Java0 0 00
R1kM/Marabou
Language:C++0 0
R1kM/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0
R1kM/scd.niols.fr
Niols's Repository of (Mostly Unpublished) Scottish Country Dances
Language:Jinja0 0