nurturenature / jepsen-tigerbeetleLinks
A Jepsen Test for TigerBeetle.
☆16Updated 4 months ago
Alternatives and similar repositories for jepsen-tigerbeetle
Users that are interested in jepsen-tigerbeetle are comparing it to the libraries listed below
Sorting:
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago
- Persistence of concurrent activities for Gerbil Scheme☆56Updated 2 weeks ago
- Kafka as a Datalog Engine☆28Updated 7 months ago
- Multi-Array Queue program codes☆76Updated 5 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated last week
- ☆20Updated 7 years ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- a 64-bit histogram / quantile sketch☆59Updated 10 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- ISLISP implementation on Graal Truffle framework☆26Updated 10 months ago
- ☆59Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 2 months ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆57Updated 8 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated this week
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆68Updated 3 years ago
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆11Updated 2 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- Zig library for HyperLogLog estimation☆91Updated last year
- A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Updated last year
- A collection of libraries in Scheme☆13Updated 4 years ago
- A Clojure facade for the FoundationDB record-layer☆14Updated 9 months ago
- nock on the jvm☆25Updated 7 years ago
- FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)☆49Updated this week
- ZooKeeper server on top of FoundationDB☆26Updated 4 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Updated last year
- ☆15Updated 8 months ago