pviotti / conver-oldLinks
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
☆18Updated 9 years ago
Alternatives and similar repositories for conver-old
Users that are interested in conver-old are comparing it to the libraries listed below
Sorting:
- Streams in Erlang☆51Updated 9 years ago
- ☆31Updated 3 years ago
- Parsec-style parsing for Erlang☆33Updated 14 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 8 years ago
- Generic abstraction for building dataflow computations.