Alternatives and similar repositories for raksha

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

• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 6 years ago
• google-research / structured-additive-IR
  ☆61Updated last week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆178Updated 2 weeks ago
• google / gematria
  Machine learning for machine code.
  ☆91Updated this week
• harp-lab / gdlog
  ☆82Updated 8 months ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 11 months ago
• DBOS-project / dbos-scheduler
  ☆28Updated 4 years ago
• google / fleetbench
  Benchmarking suite for Google workloads
  ☆125Updated this week
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆21Updated last month
• google / tsl
  ☆97Updated this week
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated 11 months ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆63Updated 2 years ago
• llvm / mlir-www
  ☆77Updated this week
• fabiocannizzo / FastBinarySearch
  Fast and vectorizable algorithms for searching in a vector of sorted floating point numbers
  ☆142Updated 7 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆153Updated 3 months ago
• NationalSecurityAgency / XORSATFilter
  A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
  ☆80Updated 2 years ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated last month
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 7 months ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• OpenCilk / opencilk-project
  Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
  ☆114Updated this week
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆21Updated 5 months ago
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆15Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 2 years ago
• stellaraccident / mlir-py-release
  ☆11Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago