Alternatives and similar repositories for jsys

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

• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆59Updated last year
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• IanHarvey / minicrypt
  Library of crypto primitives for embedded systems
  ☆25Updated 11 years ago
• djwillia / solo5
  The Solo5 unikernel
  ☆14Updated 6 years ago
• kartik1507 / GraphSC
  ☆28Updated 6 years ago
• HexHive / AutoBib
  AutoBib: create beautiful bib files and html publication pages automagically
  ☆14Updated 8 months ago
• vkrasnov / vpmadd
  Multiplication using AVX512 and AVX512IFMA instructions
  ☆23Updated 10 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• kmowery / libfixedtimefixedpoint
  A library for doing constant-time fixed-point numeric operations
  ☆26Updated 5 years ago
• formosa-crypto / libjade
  Crypto library
  ☆67Updated last month
• 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
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 7 months ago
• mozilla / libprio
  INACTIVE - A C library implementing a basic version of the Prio system for private aggregation. https://crypto.stanford.edu/prio/
  ☆79Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• claucece / formal-tutorials
  ☆28Updated 4 years ago
• anishathalye / notary
  Notary: A Device for Secure Transaction Approval 📟
  ☆28Updated 11 months ago
• tfaoliveira / libjc
  ☆21Updated 3 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated last year
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆91Updated 5 months ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆194Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆234Updated 5 years ago
• dn0sar / frontal_poc
  Proof-of-Concept of the Frontal Attack
  ☆11Updated 2 years ago