Alternatives and similar repositories for jsys:

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

• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 6 months ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• HexHive / AutoBib
  AutoBib: create beautiful bib files and html publication pages automagically
  ☆14Updated 11 months ago
• canalcache / canal
  ☆16Updated 5 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• uw-unsat / serval
  ☆47Updated 2 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• uw-unsat / jitsynth
  ☆17Updated 4 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 3 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 4 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 8 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆29Updated 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
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆17Updated 9 years ago
• gwsystems / ps
  Parallel sections library for parallel data-structures
  ☆14Updated last year
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 6 months ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago
• epfl-dcsl / lancet-tool
  ☆29Updated 7 months ago