Alternatives and similar repositories for proofable

Users that are interested in proofable are comparing it to the libraries listed below

• krotik / rufs
  A remote union filesystem.
  ☆10Updated 5 years ago
• jmccormick2001 / rqlite-operator
  a Kubernetes operator for the rqlite database
  ☆12Updated 3 years ago
• alexellis / comment-vibes
  OpenFaaS CRUD sample with a Postgres backend and GitHub emojis as input.
  ☆16Updated 5 years ago
• Gyeeta / gyeeta
  Gyeeta - An Open Source eBPF based Observability Product for your Infrastructure, Services and Processes. This repository is for the Agen…
  ☆12Updated 6 months ago
• teseraio / ensemble
  Modular Kubernetes operator to manage the lifecycle of databases
  ☆42Updated 3 years ago
• bytepowered / flux
  Flux: A micro-service gateway server for dubbo, grpc, http
  ☆10Updated 3 years ago
• flowerinthenight / hedge
  A distributed systems library for Kubernetes deployments built on spindle and Cloud Spanner.
  ☆23Updated 2 months ago
• anchorhash / go-anchorhash
  go implementation of anchorhash
  ☆15Updated 4 years ago
• qdm12 / goshutdown
  Go library to shutdown your goroutines gracefully and in a timely manner
  ☆12Updated 2 years ago
• tmitchel / workspace-sync
  Make sure your remote stays up to date with changes to local code
  ☆18Updated 4 years ago
• Yuwenfeng2019 / K2S
  Yet another lightweight version for K8S, and even lighter than K3S.
  ☆11Updated 5 years ago
• libdns / route53
  AWS Route53 provider implementation for libdns
  ☆14Updated 8 months ago
• adaptant-labs / openfaas-function-auth-opa
  Open Policy Agent-backed authentication in OpenFaaS Serverless functions
  ☆11Updated 5 years ago
• gobuffalo / makr
  File generation system
  ☆11Updated 5 years ago
• benbjohnson / gha
  SQLite load testing application using GitHub Archive data.
  ☆14Updated 3 years ago
• curtiseng / gland
  Distributed transaction across multi languages.
  ☆12Updated 6 years ago
• mikesimons / yaml-dsl
  ☆14Updated 8 years ago
• rancher / wrangler-cli
  A trivial wrapper around spf13/cobra to simplify some basic patterns
  ☆22Updated last year
• influx6 / actorkit
  Simple yet powerful actor model in golang for message passing based applications [Work in Progress]
  ☆22Updated 6 years ago
• anyfiddle / find
  Firecracker IN Docker - MicroVM inside containers
  ☆31Updated 4 years ago
• etcd-io / discoveryserver
  Public etcd Discovery Service
  ☆23Updated last year
• tidwall / raft-redcon
  Raft transport layer that implements the Redis protocol
  ☆15Updated 4 years ago
• jensneuse / PostgresLogicalReplicationExample
  Consistent replication from postgres to golang via protocol buffers.
  ☆17Updated 7 years ago
• sea-monkeys / amphipod
  ☆13Updated 5 months ago
• go-playground / ksql
  a JSON data expression lexer, parser, cli and library
  ☆13Updated last year
• tailscale / goexpect
  Expect for Go
  ☆11Updated last year
• cockroachdb / cockroach-gen
  CockroachDB with pre-generated Go code
  ☆33Updated last year
• axiomhq / variance
  Go implementation of variance's method for one-pass variance computation with D. H. D. West improved methods which features merging of se…
  ☆16Updated last year
• weisurya / go-docker-continuous-development
  Continuous Development Environment by using Docker and VSCode, Go Version
  ☆9Updated 5 years ago
• el10savio / gcounter-crdt
  GCounter CRDT Implemented in Go & Docker
  ☆14Updated 4 years ago