Alternatives and similar repositories for jsys:

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

• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 2 weeks 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
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 5 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 2 years ago
• ParCoreLab / ReuseTracker
  A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.
  ☆16Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆59Updated 7 months ago
• HewlettPackard / mdc-toolkit
  ☆25Updated 7 years ago
• ucbrise / mage
  MAGE: Memory-Aware Garbling Engine
  ☆26Updated 6 months ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 9 years ago
• HagarMeir / transactionLib
  Transactional Data Structure Libraries
  ☆12Updated 7 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
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• uw-unsat / jitsynth
  ☆17Updated 4 years ago
• massivethreads / tp-parsec
  TP-PARSEC: A Task Parallel PARSEC Benchmark Suite
  ☆10Updated 4 years ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 5 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 4 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆44Updated 7 months ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆23Updated last year