Alternatives and similar repositories for docket

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

• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆30Updated 6 years ago
• HippoBaro / ultramarine
  High-performance virtual actor system framework on Seastar
  ☆30Updated 6 years ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆38Updated 4 years ago
• bloomberg / corokafka
  C++ Kafka coroutine library using Quantum dispatcher and wrapping CppKafka
  ☆52Updated 3 years ago
• aquanauts / ozy
  An application management tool
  ☆16Updated 3 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• bloomberg / bde-tools
  Tools for developing and building libraries modeled on BDE
  ☆80Updated last week
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆49Updated 4 years ago
• joboccara / sets
  Extension of the STL algorithms on sets
  ☆21Updated 6 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 6 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆68Updated 8 years ago
• llnl / unum
  Universal Number Library
  ☆44Updated 7 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆65Updated 7 years ago
• redpanda-data / seastar-starter
  Seastar boilerplate project with cmake
  ☆34Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 4 years ago
• janwilmans / LibIdentify
  Standard method to identify a project's executable, for now specifically aimed at test-frameworks
  ☆10Updated 8 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆39Updated last month
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated this week
• IBM / ibmgraphblas
  ibmgraphblas
  ☆28Updated 7 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated this week
• NicolasT / reedsolomon
  Reed-Solomon Erasure Coding in Haskell
  ☆23Updated 9 years ago
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 6 years ago
• FIXTradingCommunity / orchestrations
  Service offerings expressed with Orchestra
  ☆12Updated last month
• boostorg / openmethod
  Open-methods for C++ 17
  ☆13Updated this week
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆83Updated 3 years ago
• habanero-rice / hclib
  A C/C++ task-based programming model for shared memory and distributed parallel computing.
  ☆72Updated 5 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 months ago
• simdjson / simdjson_experiments_vldb2019
  Detailed experiments over simdjson for VLDB article (2019) and future work
  ☆21Updated 5 years ago
• kentonv / home-container
  Containerize your home directory
  ☆78Updated 5 years ago
• lanl / ares
  Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…
  ☆10Updated 9 years ago