Beast code in Giters

François Dupressoir's repositories

Package descriptions for OPAM

Language:OCamlCC0-1.01 20

Language:eC100

Language:RubyMIT020

Language:eC000

Github page for the Department of Computer Science, University of Bristol

Language:JavaScript010

A repository of examples and benchmarks for constant-time verification tools.

020

An alpine base for continuous typesetting, with texlive-full and biber.

Language:Dockerfile020

Language:eC000

EasyCrypt: Computer-Aided Cryptographic Proofs

Language:OCamlNOASSERTION000

Verification system for effectful programs

Language:F*Apache-2.0000

Jasmin compiler

Language:CoqMIT010

Starter code for the COMS20007 practical lab sheets.

Language:Haskell000

A library for doing constant-time fixed-point numeric operations

Language:C000

An open source, portable, easy to use, readable and flexible SSL library

Language:CNOASSERTION000

SMACK: A Bounded Software Verifier for C Programs

Language:CNOASSERTION000