Alternatives and similar repositories for raksha

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

• google-research / hybrid_rcc

  View on GitHub
  A C++ library for information theory and probability
  ☆17Jun 26, 2023Updated 2 years ago
• lassepe / GameInference.jl

  View on GitHub
  Planning with inferred internal states of other players in general-sum differential games.
  ☆17May 3, 2022Updated 3 years ago
• david-m-rosen / Preconditioners

  View on GitHub
  A set of useful algebraic preconditioners for iterative numerical linear-algebraic methods.
  ☆20Jul 23, 2022Updated 3 years ago
• forrestlaine / TensorGames.jl

  View on GitHub
  Computing mixed-strategy Nash Equilibria for games involving multiple players
  ☆25Jan 16, 2025Updated last year
• CedarEDA / CedarSim.jl

  View on GitHub
  Analog Circuit Simulator
  ☆26Sep 6, 2024Updated last year
• lanl / SICM

  View on GitHub
  Simplified Interface to Complex Memory
  ☆28Aug 31, 2023Updated 2 years ago
• google-deepmind / transformer_ngrams

  View on GitHub
  ☆33Nov 4, 2024Updated last year
• pthariensflame / refraction

  View on GitHub
  A general-purpose lens library for Rust.
  ☆30Dec 18, 2016Updated 9 years ago
• kboom / iga-adi-sm

  View on GitHub
  The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis
  ☆10Jan 26, 2019Updated 7 years ago
• correlllab / MAGPIE

  View on GitHub
  Manipulation Architecture for Goal Planning, Inference, and Execution
  ☆10Dec 16, 2025Updated last month
• calebegg / proof-pad

  View on GitHub
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆11Jul 15, 2024Updated last year
• BlueCentre / monorepo

  View on GitHub
  Monorepo blueprint for developer platform
  ☆12Dec 22, 2025Updated last month
• FarzadAziziZade / Husky-LIO-SAM

  View on GitHub
  Husky-LIO-SAM
  ☆12Feb 23, 2023Updated 2 years ago
• zhaohb / paddleocr_vl_ov

  View on GitHub
  Using OpenVINO to speed up inference of PaddleOCR-VL model
  ☆22Feb 3, 2026Updated last week
• cvitter / Riak-TS-Python-Demo

  View on GitHub
  Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)
  ☆11Aug 30, 2016Updated 9 years ago
• CohenCyril / LFTCM2024_Rocq

  View on GitHub
  Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
  ☆13Mar 28, 2024Updated last year
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• draperlaboratory / cozy

  View on GitHub
  ☆16Updated this week
• naominitel / amd2901

  View on GitHub
  An AMD am2901 4-bit ALU slice
  ☆10Feb 14, 2023Updated 3 years ago
• oskarnatan / compact-perception

  View on GitHub
  Implementation code for: Towards Compact Autonomous Driving Perception with Balanced Learning and Multi-sensor Fusion, IEEE Trans. Intell…
  ☆10May 20, 2024Updated last year
• voidspace / talks

  View on GitHub
  ☆10Jan 16, 2025Updated last year
• torms3 / DataProvider

  View on GitHub
  ☆11Jun 11, 2020Updated 5 years ago
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• google-research / tf-opt

  View on GitHub
  ☆43Updated this week
• harald-lang / tree-encoded-bitmaps

  View on GitHub
  ☆39Jun 20, 2020Updated 5 years ago
• ethz-mrl / vimid

  View on GitHub
  Code for IROS 2022 work "Visual-Inertial Multi-Instance Dynamic SLAM with Object-level Relocalisation"
  ☆42Mar 20, 2023Updated 2 years ago
• NickKnack15 / python-actionlib-demo

  View on GitHub
  A simple demo for showing how to interact with action lib in Python 2.7
  ☆11May 23, 2018Updated 7 years ago
• webyrd / summer-scheming

  View on GitHub
  Summer Scheming!!!!!!
  ☆11Aug 20, 2020Updated 5 years ago
• lp-research / lpslam

  View on GitHub
  Image readout, processing and SLAM library
  ☆12Jun 3, 2022Updated 3 years ago
• LineageOS / android_hardware_libhardware

  View on GitHub
  Android HAL
  ☆10Dec 27, 2025Updated last month
• amlatyrngom / SQLIR

  View on GitHub
  SQL Optimizations using MLIR
  ☆12Apr 5, 2020Updated 5 years ago
• Toyota / SGInit-VO

  View on GitHub
  ☆16Jul 31, 2025Updated 6 months ago
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• Dunnnnn / cuda-accelerated-ORB-SLAM2

  View on GitHub
  CUDA Accelerated ORB-SLAM2
  ☆11Sep 7, 2022Updated 3 years ago
• AviCraimer / relational-calculus-library-lean4

  View on GitHub
  ☆12Mar 4, 2025Updated 11 months ago
• yanzhao-irit / data-lake-metadata-management-system

  View on GitHub
  ☆13May 3, 2022Updated 3 years ago
• EtherAuthority / Portfolio

  View on GitHub
  EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and…
  ☆13Nov 12, 2025Updated 3 months ago
• peteryuan123 / HPGO-ORBSLAM3

  View on GitHub
  ☆11Jul 27, 2023Updated 2 years ago
• dtc111111 / plgslam

  View on GitHub
  [CVPR 2024] PLGSLAM
  ☆13Nov 24, 2025Updated 2 months ago