Alternatives and similar repositories for coredet

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

• columbia / smt-mc

  View on GitHub
  The Parrot stable and deterministic multi-threading system.
  ☆25Nov 9, 2013Updated 12 years ago
• jieyu / concurrency-bugs

  View on GitHub
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆61May 21, 2013Updated 12 years ago
• ScheduleOpt / benchmarks

  View on GitHub
  ScheduleOpt benchmarks
  ☆16Nov 13, 2025Updated 3 months ago
• Meshee-cn / mesheesdk

  View on GitHub
  a SDK for creating a large mesh network, App example on
  ☆15Feb 26, 2019Updated 6 years ago
• mc-imperial / sctbench

  View on GitHub
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆33Dec 16, 2021Updated 4 years ago
• dunnock / wabench

  View on GitHub
  Yeat another WASM benchmark (WASI) - http://wabench.com:8080
  ☆11Jan 7, 2023Updated 3 years ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• mica-gossip / MiCA

  View on GitHub
  MiCA gossip framework research project
  ☆15Jun 14, 2023Updated 2 years ago
• cwpearson / llvmvm

  View on GitHub
  LLVM Version Manager
  ☆11Apr 21, 2017Updated 8 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
• Yuwenfeng2019 / K2S

  View on GitHub
  Yet another lightweight version for K8S, and even lighter than K3S.
  ☆11Mar 12, 2020Updated 5 years ago
• MiniZinc / mzn-challenge

  View on GitHub
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆14Nov 25, 2024Updated last year
• zerkalica / babel-plugin-transform-metadata

  View on GitHub
  Reflection metadata support for classes and functions with flowtype type aliases support
  ☆10Nov 16, 2017Updated 8 years ago
• cobber / perl_call_graph

  View on GitHub
  Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz
  ☆14Feb 14, 2018Updated 8 years ago
• wasm-superopt / rocinante

  View on GitHub
  ☆10May 14, 2020Updated 5 years ago
• stober / isomap

  View on GitHub
  Isomap in Python
  ☆10Mar 1, 2013Updated 12 years ago
• DBCobra / CobraHome

  View on GitHub
  ☆11Mar 3, 2021Updated 4 years ago
• ansemjo / version.sh

  View on GitHub
  output identical version strings from repository clones or downloaded archives
  ☆12Nov 23, 2021Updated 4 years ago
• osrg / optcast

  View on GitHub
  Reduction Server in Rust
  ☆13Apr 9, 2024Updated last year
• graphitemaster / dep_sort

  View on GitHub
  Generic topological sorting for sorting a list of dependencies in C++17
  ☆15Oct 18, 2018Updated 7 years ago
• tonistiigi / vzor

  View on GitHub
  gvisor hacks
  ☆13Feb 1, 2020Updated 6 years ago
• humphd / v86

  View on GitHub
  x86 virtualization in JavaScript, running in your browser and NodeJS
  ☆13Feb 12, 2019Updated 7 years ago
• Chriscbr / scheme-to-wasm

  View on GitHub
  Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust
  ☆11May 23, 2020Updated 5 years ago
• NCBI-Hackathons / deVoReaNN

  View on GitHub
  A virtual reality environment for physically assembling deep learning models to solve data science problems.
  ☆13Jul 6, 2023Updated 2 years ago
• joeshaw / json-lossless

  View on GitHub
  Lossless JSON encoding/decoding package in Go
  ☆18Dec 4, 2018Updated 7 years ago
• rgbkrk / iknowthis

  View on GitHub
  fuzz testing framework for Linux system calls
  ☆12Sep 4, 2015Updated 10 years ago
• EverlastingBugstopper / billboard

  View on GitHub
  create informational boxes in the terminal
  ☆14Nov 16, 2022Updated 3 years ago
• kunalkushwaha / ctr-powertest

  View on GitHub
  container runtime testsuite
  ☆10Jun 4, 2018Updated 7 years ago
• Diderot-Language / examples

  View on GitHub
  Examples of using Diderot
  ☆11Sep 16, 2019Updated 6 years ago
• docker-archive / infrakit.gcp

  View on GitHub
  Infrakit plugins for Google Cloud Platform.
  ☆12May 8, 2017Updated 8 years ago
• sntran / rfetch

  View on GitHub
  Rclone running in Deno
  ☆12Updated this week
• fujita / rust-nvme

  View on GitHub
  ☆15Aug 5, 2022Updated 3 years ago
• bluemoon / nlp

  View on GitHub
  natural language processing with link-grammar
  ☆18Sep 30, 2009Updated 16 years ago
• bfirsh / funker-go

  View on GitHub
  Funker for Go
  ☆12Dec 31, 2016Updated 9 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• cesaro / dpu

  View on GitHub
  Dynamic analysis of multithreaded C programs
  ☆13Feb 7, 2020Updated 6 years ago
• smyte / kafka_store

  View on GitHub
  Consistent archives of Kafka topics to an object store.
  ☆14Jan 22, 2021Updated 5 years ago
• rutgers-apl / TaskProf

  View on GitHub
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Feb 13, 2018Updated 8 years ago
• jonamuen / sql-reduce

  View on GitHub
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Oct 15, 2024Updated last year