nurturenature / jepsen-tigerbeetleLinks
A Jepsen Test for TigerBeetle.
☆16Updated 2 years ago
Alternatives and similar repositories for jepsen-tigerbeetle
Users that are interested in jepsen-tigerbeetle are comparing it to the libraries listed below
Sorting:
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 8 months ago
- Persistence of concurrent activities for Gerbil Scheme☆51Updated 3 weeks ago
- ISLISP implementation on Graal Truffle framework☆25Updated 5 months ago
- Zig bindings for the excellent CRoaring library☆31Updated 8 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- The Coil Programming Language☆34Updated last year
- ☆28Updated this week
- Zig library for HyperLogLog estimation☆89Updated 10 months ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Persistent immutable data structures for Janet☆11Updated 3 years ago
- Multi-Array Queue program codes☆75Updated last week
- macro spaghetti code☆28Updated 2 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 3 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- For hosting ATS3 and developing CodeDepot☆14Updated this week
- Topological sort library in Zig☆92Updated last month
- Use Kafka as a depot or publishing target in Rama modules☆23Updated 4 months ago
- Currying in Clojure for fun and learning.☆11Updated last year
- An introduction to the J programming language that gets to the point.☆60Updated 3 weeks ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- ☆44Updated this week
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- SCIP indexer for Zig!☆24Updated 2 years ago
- Kafka as a Datalog Engine☆28Updated 2 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆38Updated this week
- A persistent, relational store inspired by Datomic and DataScript.☆54Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆67Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Resumable exceptions and delimited continuations for JVM☆42Updated last month