Alternatives and similar repositories for jsys

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

• UTSASRG / Guarder
  ☆13Updated 7 years ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 8 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• IanHarvey / minicrypt
  Library of crypto primitives for embedded systems
  ☆25Updated 11 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 3 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆87Updated 9 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 5 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆49Updated last year
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 10 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆50Updated 3 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆20Updated 9 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 3 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• mhuxtable / unbuckle
  High-performance, in-kernel key-value store
  ☆19Updated 11 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆91Updated 2 months ago
• massivethreads / tp-parsec
  TP-PARSEC: A Task Parallel PARSEC Benchmark Suite
  ☆11Updated 4 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 5 months ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆54Updated 7 months ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago