An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
47,133 repositories indexed
169–192 of 228 · Most stars
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Simplified snapshots and restoration for ActiveRecord models and associations with a transparent white-box implementation
Create flexible REST endpoints and controllers from Sequelize models in your Express app
GTFS ORM using SQLAlchemy
Advanced WAL File Management Tools for PostgreSQL
Manage your Redis instance (see keys, memory used, connected client, etc...)
Integrate PostgreSQL's enumerated types with the Rails enum feature
Cursor-based pagination for ActiveRecord
A faster alternative to the custom use of `in_batches` with `pluck`
Monitor PostgreSQL with Zabbix
Database schema evolution library for Go
Cache Active Model Records in Rails 3
report top-level postgres stats
Time-series database and pub/sub messaging server for IoT and real-time devices, in Go: an embeddable storage engine with TTLs, wildcard topics and encryption, and a clustered server over gRPC, TCP and WebSocket with replication and rolling upgrades.
InfluxDB ActiveRecord-style
Node.js ORM written in TypeScript for type lovers.
Robust data change tracking for Rails
Data anonymization for your Ecto models !
Go Wrapper for using localstack
Java access to Neo4J graph databases at multiple levels of abstraction
Make use of recursive queries in Rails when using Postgresql or SQLite
A production-grade HBase ORM library that makes accessing HBase clean, fast and fun (Can also be used as Bigtable ORM)
Cache values in your Web Extension and clear them on expiration. Also includes a memoize-like API to cache any function results automatically
Rails tagging system that stores tags in a PostgreSQL array column or an SQLite JSON column – no join tables, no extra models, no N+1 queries.