Alternatives and similar repositories for jsys

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

• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 6 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 weeks ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 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 7 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 5 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 5 years ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 4 months ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆12Updated last month
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 9 years ago
• HagarMeir / transactionLib
  Transactional Data Structure Libraries
  ☆12Updated 7 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆29Updated 4 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated 3 months ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 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 4 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 5 years ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆26Updated last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• HexHive / AutoBib
  AutoBib: create beautiful bib files and html publication pages automagically
  ☆14Updated last month
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago