All Categories → No Category → rabin

Top 3 rabin open source projects

Rabin fingerprinting implemented in WASM

✭ 26

WebAssembly javascript typescript HTML wasm rabin rabin-fingerprint assemblyscript

Specify and synthesize systems using symbolic algorithms

✭ 36

python TLA Makefile automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

✭ 20

ocaml git diff fingerprint rabin patch

1-3 of 3 rabin projects