otrack

otrack's Stars

• async-profiler/async-profiler

  Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

  Language:C++7.8k174687862

• btraceio/btrace

  BTrace - a safe, dynamic tracing tool for the Java platform

  Language:Java5.8k326433962

• remkop/picocli

  Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

  Language:Java5k441.5k426

• atomix/atomix

  A Kubernetes toolkit for building distributed applications using cloud native principles

  Language:Go2.4k148286389

• infinispan/infinispan

  Infinispan is an open source data grid platform and highly scalable NoSQL cloud data store.

  Language:Java1.2k89216631

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript8442370538

• cometbft/cometbft

  CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

  Language:Go68121960525

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle646171734

• apalache-mc/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala44491.2k40

• antirez/retwis

  A Twitter-toy clone written in PHP and Redis, used in the early days to introduce Redis data types.

  Language:PHP369261140

• lithops-cloud/lithops

  A multi-cloud framework for big data analytics and embarrassingly parallel jobs, that provides an universal API for building parallel applications in the cloud ☁️🚀

  Language:Python32215394106

• jgroups-extras/jgroups-raft

  Implementation of the RAFT consensus protocol in JGroups

  Language:Java2663314584

• sridharv/gojava

  GoJava - Java bindings for Go packages

  Language:Go18412815

• vitorenesduarte/fantoch

  framework for evaluating (planet-scale) consensus protocols

  Language:Rust12661512

• scality/elmerfs

  Language:Rust975292

• apache/cassandra-accord

  Accord library for Apache Cassandra®

  Language:Java6317020

• patrickmarlier/tinystm

  Official public repository for TinySTM (tmware.org)

  Language:C484213

• linkedin/concurrentli

  Classes for multithreading that expand on java.util.concurrent, adding convenience, efficiency and new tools to multithreaded Java programs

  Language:Java468011

• miguelammatos/Kollaps

  Kollaps: a decentralized container based network emulator

  Language:JavaScript326325

• numamma/numamma

  NumaMMA is a lightweight memory profiler for parallel applications

  Language:C2571310

• imdea-software/swiftpaxos

  Prototype implementation of SwiftPaxos (NSDI 2024)

  Language:Go16903

• metaspace2020/Lithops-METASPACE

  Lithops-based Serverless implementation of the METASPACE spatial metabolomics annotation pipeline

  Language:Jupyter Notebook125244

• jnvm-project/jnvm

  PMEM-aware Off-heap Persistent Objects for Java

  Language:Java6100

• masoud-io/jessy

  Language:Java65216

• otrack/Leads-infinispan

  Infinispan is an open source data grid platform and highly scalable NoSQL cloud data store.

  Language:Java6501

• vitorenesduarte/threshold-rs

  Threshold data structures in Rust!

  Language:Rust6203

• leads-project/ZooFence

  Service partitioning for efficient multi-site ZooKeeper support by the European LEADS project

  Language:Java3802

• faclc4/YCSB

  Language:Java2400

• otrack/Batelier

  A group communication middleware

  Language:Java2201

• skarab7/leads-cluster

  A set of fabric scripts to setup a cluster for LEADS project (research project, funded by EU).

  Language:Shell2100