darrenldl/ProVerif-ATP

Stars
23
Rank 1,016,977 (Top 21 %)
Language
OCaml
Created over 5 years ago
Updated over 4 years ago

darrenldl/ProVerif-ATP

darrenldl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification

docfd

TUI multiline fuzzy document finder

reed-solomon-erasure

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding

blockyarchive

Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability

sandboxing

Scripts, files and tools related to sandboxing

stramon

Process behavior monitoring utility and library based on strace

distrproc

Erlang style process/actor model library in OCaml

ocaml-lxc

OCaml binding to LXC with idiomatic (and opionated) OCaml API design

ocaml-SeqBox

Implementation of SeqBox in OCaml

oali

OCaml Arch Linux Installer

ocaml-tui-chat-demo

dirsift

Search for directories by types

ocaml-reed-solomon-erasure

OCaml implementation of Reed-Solomon erasure coding

rse-benchmark

Benchmarking code for reed-solomon-erasure library

tamgram

High-level frontend language to Tamarin prover

ocaml-lt-code

OCaml implementation of a Luby transform code

blkar-helpers

Helper scripts/programs for using blkar

ffprinter

File fingerprint manager

ezsetfacl

setfacl across multiple files, and basic manipulation of files