Alternatives and similar repositories for jsys

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

• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 10 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆59Updated last year
• softdevteam / krun
  High fidelity benchmark runner
  ☆91Updated 4 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆92Updated 6 months ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 5 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆53Updated 7 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 10 years ago
• IanHarvey / minicrypt
  Library of crypto primitives for embedded systems
  ☆25Updated 11 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 8 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 8 months ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 6 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 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
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆62Updated 10 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.
  ☆66Updated 5 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
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 6 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 10 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• mangpo / greenthumb
  ☆91Updated 3 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆18Updated 7 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated 2 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆21Updated 9 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆51Updated 3 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆49Updated 10 years ago