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
  ☆161Updated last month
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆48Updated this week
• harp-lab / gdlog
  ☆79Updated 3 months ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆37Updated last month
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 5 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆50Updated last month
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years 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…
  ☆88Updated 2 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆172Updated 2 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 5 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆35Updated 3 months ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated last year
• google / centipede
  ☆254Updated last year
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 3 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 5 months ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆16Updated 5 months ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 5 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 8 months ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• DBOS-project / dbos-scheduler
  ☆26Updated 3 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated this week
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆26Updated 2 months 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…
  ☆82Updated last month
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 7 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago