Sign in

Repository Index

47,133 repositories indexed

Tags: Databases
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

313–336 of 504 · Most stars

Postgres clone schema utility without need of going outside of database. Makes developers life easy by running single function to clone schema with all objects. It is very handy on Postgres RDS. Utility is sponsored by http://elephas.io/

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Simplified snapshots and restoration for ActiveRecord models and associations with a transparent white-box implementation

  • rails
  • versioning
  • model-snapshots
  • model-versioning