Alternatives and similar repositories for jsys

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

• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 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
• mit-pdos / ward
  ☆30Updated 3 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆57Updated 11 months ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• BlairArchibald / YewPar
  A Collection of High Performance Parallel Skeletons for Tree Search Problems
  ☆22Updated last month
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 2 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• 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
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆48Updated last year
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆89Updated this week
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆38Updated 9 months ago
• IanHarvey / minicrypt
  Library of crypto primitives for embedded systems
  ☆25Updated 11 years ago
• WitchTools / Witch
  Lightweight performance and debugging tools
  ☆17Updated 5 years ago
• pmem / pmem.github.io
  The pmem.io Website
  ☆17Updated 6 months ago
• mangpo / greenthumb
  ☆88Updated 3 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
• uw-unsat / serval
  ☆47Updated 3 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 9 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• tchajed / futex-tutorial
  ☆13Updated last year