darrenldl/ocaml-SeqBox darrenldl/ocaml-SeqBox

  • This repository has been archived on 12/May/2018
  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    OCaml
  • License
    BSD 3-Clause "New...
  • Created over 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
darrenldl/ocaml-SeqBox
github

darrenldl

Reviews

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

Repository Details

Implementation of SeqBox in OCaml

More Repositories

1

docfd

TUI multiline fuzzy document finder
OCaml
205
star
2

reed-solomon-erasure

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

blockyarchive

Blocky archive - multithreaded archiver offering bit rot protection and sector level recoverability
Rust
94
star
4

sandboxing

Scripts, files and tools related to sandboxing
C
28
star
5

stramon

Process behavior monitoring utility and library based on strace
OCaml
25
star
6

ProVerif-ATP

ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
OCaml
23
star
7

distrproc

Erlang style process/actor model library in OCaml
OCaml
16
star
8

ocaml-lxc

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

oali

OCaml Arch Linux Installer
OCaml
10
star
10

ocaml-tui-chat-demo

OCaml
9
star
11

dirsift

Search for directories by types
OCaml
6
star
12

ocaml-reed-solomon-erasure

OCaml implementation of Reed-Solomon erasure coding
OCaml
5
star
13

rse-benchmark

Benchmarking code for reed-solomon-erasure library
Rust
4
star
14

tamgram

High-level frontend language to Tamarin prover
OCaml
2
star
15

ocaml-lt-code

OCaml implementation of a Luby transform code
OCaml
2
star
16

blkar-helpers

Helper scripts/programs for using blkar
Python
1
star
17

ffprinter

File fingerprint manager
C
1
star
18

ezsetfacl

setfacl across multiple files, and basic manipulation of files
Shell
1
star