R1kM

Pinned Repositories

catala
Programming language for literate programming law specification
Language:OCaml0 0 00
CitizenWatt-docker
Dockerfile to run CitizenWatt, based on Ubuntu 14.04 docker image.
Language:Python0 0 00
dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:F*0 0 00
FStar
Verification system for effectful programs
Language:F*0 0 00
icfp2020-captions
0 0 00
jconstraints
A constraint solver abstraction layer for Java
Language:Java0 0 01
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:OCaml7 0 00
Pathfinder
Language:C++4 3 162

R1kM's Repositories

R1kM/ocaml-python3
A parser for Python3
Language:OCaml7 0 00
R1kM/Pathfinder
Language:C++4 3 162
R1kM/catala
Programming language for literate programming law specification
Language:OCaml0 0 00
R1kM/CitizenWatt-docker
Dockerfile to run CitizenWatt, based on Ubuntu 14.04 docker image.
Language:Python0 0 00
R1kM/dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
Language:F*0 0 00
R1kM/FStar
Verification system for effectful programs
Language:F*0 0 00
R1kM/icfp2020-captions
0 0 00
R1kM/jconstraints
A constraint solver abstraction layer for Java
Language:Java0 0 01
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