darrenldl/ocaml-SeqBox

This repository has been archived on 12/May/2018
Stars
11
Rank 1,695,864 (Top 34 %)
Language
OCaml
License
BSD 3-Clause "New...
Created over 7 years ago
Updated over 6 years ago

darrenldl/ocaml-SeqBox

darrenldl

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

Implementation of SeqBox in OCaml

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

ProVerif-ATP

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

distrproc

Erlang style process/actor model library in OCaml

ocaml-lxc

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

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