Alternatives and similar repositories for CobraHome

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

• sfu-dis / tesseract

  View on GitHub
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆24Apr 1, 2023Updated 2 years ago
• belliottsmith / accord

  View on GitHub
  ☆29May 6, 2022Updated 3 years ago
• DrUzair / MachineLearning

  View on GitHub
  ☆10Updated this week
• ligurio / elle-cli

  View on GitHub
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆31Jan 6, 2026Updated last month
• kevinsullivan / TLAPlusDocker

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• uwsampa / coredet

  View on GitHub
  A Compiler and Runtime System for Deterministic Multithreaded Execution
  ☆11Jun 11, 2015Updated 10 years ago
• cwpearson / llvmvm

  View on GitHub
  LLVM Version Manager
  ☆11Apr 21, 2017Updated 8 years ago
• biztech-it / BTable

  View on GitHub
  A drill-anywhere component for Pentaho CDE
  ☆11Jun 27, 2018Updated 7 years ago
• jnguyen / SQL_Mortals

  View on GitHub
  PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed
  ☆12Apr 21, 2019Updated 6 years ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• pstoellberger / saiku-query

  View on GitHub
  a new olap4j query model for saiku
  ☆11Sep 8, 2023Updated 2 years ago
• citusdata / citus-benchmark

  View on GitHub
  Tools for running benchmarks against Citus
  ☆43Jun 23, 2025Updated 7 months ago
• SVMBrown / albatross

  View on GitHub
  Kubernetes and docker utilities for lumo-cljs
  ☆14Mar 16, 2023Updated 2 years ago
• JunguangJiang / TinyCCompiler

  View on GitHub
  A tiny C compiler based on LLVM and ANTLR4
  ☆10Jan 13, 2019Updated 7 years ago
• postgredients / pg_stat_query_plans

  View on GitHub
  Yet another pg_stat_plans
  ☆15Jan 12, 2026Updated last month
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• overstory / marklogic-intellij-plugin

  View on GitHub
  Plugin to support XQuery + MarkLogic debugging in Intellij Idea
  ☆12May 4, 2022Updated 3 years ago
• cgrand / boring

  View on GitHub
  A tunnel-boring library
  ☆12Feb 24, 2018Updated 7 years ago
• kunrenyale / CalvinFS

  View on GitHub
  CalvinFS project using C/C++
  ☆12May 25, 2017Updated 8 years ago
• dispatchframework / clojure-base-image

  View on GitHub
  Clojure language support for Dispatch
  ☆10Aug 1, 2018Updated 7 years ago
• microsoft / weak-isolation-mock-db

  View on GitHub
  In-memory key-value store for testing applications against weak behaviors of a database.
  ☆11Feb 4, 2021Updated 5 years ago
• lukasz-antoniak / kafka

  View on GitHub
  Mirror of Apache Kafka without ZooKeeper dependency
  ☆11Feb 4, 2019Updated 7 years ago
• bfabry / specify-it

  View on GitHub
  Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
  ☆10Jul 19, 2019Updated 6 years ago
• onaio / gisida

  View on GitHub
  JavaScript library that converts MapSpec layers to beautiful, interactive maps using Mapbox GL
  ☆13Sep 29, 2021Updated 4 years ago
• SafeKeeper / safekeeper-chrome

  View on GitHub
  The Chrome plugin for SafeKeeper password protection service.
  ☆12Apr 25, 2018Updated 7 years ago
• humblef00ls / Robinhood-Sprintax-Automator

  View on GitHub
  improving sprintax's shit implementation of 1099-B reporting
  ☆13May 11, 2021Updated 4 years ago
• bostonaholic / datomic-export

  View on GitHub
  A Clojure library designed to export datomic data to flat files.
  ☆11May 23, 2016Updated 9 years ago
• typedb / bazel-intellij-rust-example

  View on GitHub
  ☆10Oct 14, 2022Updated 3 years ago
• bombinating / jooq-gradle-plugin

  View on GitHub
  A Kotlin DSL-friendly Gradle plugin for working with the jOOQ code generation tool
  ☆11Sep 3, 2024Updated last year
• LHCGreg / dbsc

  View on GitHub
  Tool for creating and upgrading databases using SQL scripts stored in source control
  ☆33Dec 19, 2019Updated 6 years ago
• antlr / website-antlr4

  View on GitHub
  The ANTLR 4 Website
  ☆17Aug 3, 2024Updated last year
• pbailis / bolton-sigmod2013-code

  View on GitHub
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Nov 2, 2013Updated 12 years ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆14Dec 16, 2024Updated last year
• cobber / perl_call_graph

  View on GitHub
  Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz
  ☆14Feb 14, 2018Updated 7 years ago
• yifan-h / PGE

  View on GitHub
  A Representation Learning Framework for Property Graphs
  ☆11Dec 21, 2019Updated 6 years ago
• r0man / grafeo

  View on GitHub
  A GraphQL document and schema language based on S-expressions in Clojure & ClojureScript
  ☆11Apr 25, 2020Updated 5 years ago
• TantorLabs / pg_perfbench

  View on GitHub
  ☆16May 21, 2025Updated 8 months ago
• TantorLabs / pg_configurator

  View on GitHub
  PostgreSQL configuration tool
  ☆13Jan 21, 2026Updated 3 weeks ago
• rodionovp / graphql-schema-compatibility-checker

  View on GitHub
  Checks if version of GraphQL schema is backward compatible
  ☆11Feb 27, 2018Updated 7 years ago