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

1,177–1,200 of 1,952 · Most stars

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

  • raft
  • verdi
  • coq
  • proof

Go package for sharding databases ( Supports every ORM or raw SQL )

  • go
  • golang
  • golang-library
  • database-sharding

Fast DB-independent DAL for .NET Core: abstract queries, SQL commands builder, schema-less data access, POCO mapping (micro-ORM).

  • dot-net
  • dotnetcore
  • data-access-layer
  • micro-orm

Elasticlunr is a small, full-text search library for use in the Elixir environment. It indexes JSON documents and provides a friendly search interface to retrieve documents.

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

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