Alternatives and similar repositories for raksha:

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

• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆166Updated last week
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆52Updated 3 months ago
• iree-org / iree-llvm-sandbox
  A sandbox for quick iteration and experimentation on projects related to IREE, MLIR, and LLVM
  ☆56Updated last week
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆314Updated last week
• google / centipede
  ☆253Updated last year
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated last year
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆33Updated 2 years ago
• harp-lab / gdlog
  ☆80Updated 5 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆71Updated 9 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆45Updated last year
• google-research / structured-additive-IR
  ☆58Updated this week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆187Updated last week
• DBOS-project / dbos-scheduler
  ☆27Updated 3 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆50Updated 3 weeks ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• mejbah / AutoPerf
  ☆30Updated 3 years ago
• mangpo / greenthumb
  ☆88Updated 2 years ago
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆342Updated 7 months ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆60Updated 2 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆187Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆35Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• AutomataLab / Pison
  Scalable Structural Index Constructor for JSON Analytics
  ☆22Updated 5 months ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆15Updated 3 weeks ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆16Updated 2 months ago