rabin topic

List rabin repositories

omega

45
Stars
5
Forks
Watchers

Specify and synthesize systems using symbolic algorithms

verified publisher icon tulip-control

rabin-wasm

28
Stars
7
Forks
Watchers

Rabin fingerprinting implemented in WASM

verified publisher icon hugomrdias

duff

21
Stars
3
Forks
Watchers

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

verified publisher icon mirage