{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"redpanda","owner":"jepsen-io","isFork":false,"description":"Tests for the Redpanda distributed queue","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T22:54:50.159Z"}},{"type":"Public","name":"jepsen","owner":"jepsen-io","isFork":false,"description":"A framework for distributed systems verification, with fault injection","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":57,"starsCount":6770,"forksCount":713,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T15:49:50.356Z"}},{"type":"Public","name":"etcd","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for etcd","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":22,"forksCount":9,"license":"Eclipse Public License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,3,0,2,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-29T15:03:16.508Z"}},{"type":"Public","name":"maelstrom","owner":"jepsen-io","isFork":false,"description":"A workbench for writing toy implementations of distributed systems.","allTopics":["testing","distributed-systems","jepsen"],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":3,"issueCount":13,"starsCount":2988,"forksCount":187,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-13T16:01:28.329Z"}},{"type":"Public","name":"mysql","owner":"jepsen-io","isFork":false,"description":"Tests for MySQL and MariaDB","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T13:12:48.922Z"}},{"type":"Public","name":"rds","owner":"jepsen-io","isFork":false,"description":"Library for launching AWS RDS clusters","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T20:52:24.463Z"}},{"type":"Public","name":"postgres","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for PostgreSQL","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-04T20:02:51.650Z"}},{"type":"Public","name":"datomic","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for the Datomic distributed database","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-05T22:34:35.289Z"}},{"type":"Public","name":"ravendb","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for RavenDB","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-26T02:22:27.783Z"}},{"type":"Public","name":"elle","owner":"jepsen-io","isFork":false,"description":"Black-box transactional safety checker based on cycle detection","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":6,"starsCount":634,"forksCount":34,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-26T01:44:33.474Z"}},{"type":"Public","name":"history.sim","owner":"jepsen-io","isFork":false,"description":"Deterministic simulation of Jepsen histories for testing database checkers","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-19T02:32:36.662Z"}},{"type":"Public","name":"history","owner":"jepsen-io","isFork":false,"description":"Support library for working with Jepsen histories","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-08T03:30:17.097Z"}},{"type":"Public","name":"knossos","owner":"jepsen-io","isFork":false,"description":"Verifies the linearizability of experimentally accessible histories.","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":7,"starsCount":397,"forksCount":31,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T02:34:15.477Z"}},{"type":"Public","name":"voltdb","owner":"jepsen-io","isFork":false,"description":"VoltDB Jepsen test","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":4,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-25T22:29:51.344Z"}},{"type":"Public","name":"mongodb","owner":"jepsen-io","isFork":false,"description":"MongoDB Jepsen tests","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":1,"issueCount":5,"starsCount":24,"forksCount":19,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-24T15:52:06.914Z"}},{"type":"Public","name":"local-fs","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for local filesystems, running on a single node.","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":1,"issueCount":0,"starsCount":13,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-15T15:54:42.397Z"}},{"type":"Public","name":"percona-gr","owner":"jepsen-io","isFork":false,"description":"Tests for Percona Server with Group Replication","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-01T16:06:53.021Z"}},{"type":"Public","name":"materialize","owner":"jepsen-io","isFork":true,"description":"Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":466,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-22T15:12:10.237Z"}},{"type":"Public","name":"redis","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for Redis-Raft","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":1,"issueCount":0,"starsCount":14,"forksCount":8,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-19T23:04:42.910Z"}},{"type":"Public","name":"radix-dlt","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for the Radix distributed ledger system","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-05T19:13:17.417Z"}},{"type":"Public","name":"scylla","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for ScyllaDB","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-21T07:54:24.219Z"}},{"type":"Public","name":"libfaketime","owner":"jepsen-io","isFork":true,"description":"libfaketime modifies the system time for a single application","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":323,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-10T15:53:02.370Z"}},{"type":"Public","name":"comdb2","owner":"jepsen-io","isFork":true,"description":"Bloomberg's distributed RDBMS","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":209,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-30T12:49:07.304Z"}},{"type":"Public","name":"faunadb","owner":"jepsen-io","isFork":false,"description":"FaunaDB tests","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-16T15:18:16.678Z"}},{"type":"Public","name":"aerospike-client-java","owner":"jepsen-io","isFork":true,"description":"Aerospike Java Client Library","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":212,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-16T19:57:32.442Z"}},{"type":"Public","name":"tendermint","owner":"jepsen-io","isFork":false,"description":"Jepsen tests for the Tendermint distributed byzantine consensus system","allTopics":[],"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":10,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-05T14:49:44.794Z"}},{"type":"Public","name":"jepsen-training-vpc","owner":"jepsen-io","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-12T10:57:42.564Z"}}],"repositoryCount":27,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"jepsen-io repositories"}