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
  ☆187Updated last week
• harp-lab / gdlog
  ☆87Updated last year
• google / fleetbench
  Benchmarking suite for Google workloads
  ☆137Updated this week
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆74Updated 3 years ago
• google-research / structured-additive-IR
  ☆64Updated last week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆60Updated last year
• ChezJrk / verified-scheduling
  ☆44Updated last month
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• mangpo / greenthumb
  ☆90Updated 3 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆104Updated last year
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated last month
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆30Updated last week
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆119Updated 3 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆101Updated 2 weeks ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆178Updated 3 weeks ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆199Updated 2 weeks ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆57Updated 6 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 3 weeks ago
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆23Updated 3 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆106Updated this week
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆73Updated 6 months ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆60Updated last month
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆61Updated 5 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆13Updated 5 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆87Updated 2 weeks ago