HACL*, a formally verified cryptographic library written in F*

Suite for benchmarking malloc implementations.

Interface with the rustc compiler for the purpose of program verification

A verification toolchain for Rust programs

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Programming language for literate programming law specification

Emacs support for F*

An executable and library to help with automata courses

Symbolic PathFinder

Verified Assembly Language for Everest

A Proof-oriented Programming Language

The core OCaml system: compilers, runtime system, base libraries

This repository has migrated to https://gitlab.com/dissemin/dissemin

A constraint solver abstraction layer for Java

A dead simple command line TODO-list manager