☆37Sep 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for raksha
Users that are interested in raksha are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆14Jun 28, 2026Updated 2 months ago
- x64 semantics in Lean☆41Updated this week
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?☆18Jun 22, 2025Updated last year
- ☆11Dec 10, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple script that scrapes the Mitacs Globalink Webpage to extract a list of projects in a csv file.☆11Aug 22, 2022Updated 4 years ago
- Program dependence graph in LLVM☆42Aug 4, 2025Updated last year
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆49Apr 22, 2026Updated 5 months ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- X86 disassembler benchmark☆10Jun 11, 2021Updated 5 years ago
- A college campus recruitment system that consists of a student login an admin login. The project is beneficial for college students and f…☆11Aug 21, 2022Updated 4 years ago
- lisp for bears☆13Jun 26, 2023Updated 3 years ago
- ☆18Sep 3, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17May 9, 2024Updated 2 years ago
- Volume Manipulation Library☆16Jul 13, 2023Updated 3 years ago
- A survey and analysis of source code sandboxing☆17Jun 16, 2025Updated last year
- An omnipowerful personal assistant powered by LLMs, Zapier NLA, and custom actions.☆15Sep 13, 2024Updated 2 years ago
- Web frontend for Myria☆12Sep 30, 2020Updated 5 years ago
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆25Jan 16, 2025Updated last year
- Create your own JIT compiled calculator in Rust using LLVM and inkwell.☆16Apr 23, 2018Updated 8 years ago
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated 2 years ago
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆17Nov 4, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A PoC to trigger CVE-2023-5217 from the Browser WebCodecs or MediaRecorder interface.☆16Oct 11, 2023Updated 2 years ago
- The shared memory version of the Alternating Directions Implicit Solver for Isogeometric Analysis☆10Jan 26, 2019Updated 7 years ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- ☆11Jun 11, 2020Updated 6 years ago
- A Game platform to spread awareness among school and university students about various cyber attacks.☆15Oct 21, 2018Updated 7 years ago
- Simplified Interface to Complex Memory☆29Aug 31, 2023Updated 3 years ago
- A runtime implementation of data-parallel actors.☆42Apr 1, 2022Updated 4 years ago
- DynAuditClaw — A security audit skill that dynamically discovers your OpenClaw agent's real configuration, designs targeted attack scenar…☆15Apr 6, 2026Updated 5 months ago
- An Automation Tool Written in Python which uses Twitter and GitHub API☆15Jan 25, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Back in a Minute☆11Jul 19, 2019Updated 7 years ago
- PIDX☆14Jan 20, 2020Updated 6 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- A C++ library for information theory and probability☆16Jun 26, 2023Updated 3 years ago
- Simple implementation of Rete algorithm in Haskell.☆17Jan 16, 2025Updated last year
- Manipulation Architecture for Goal Planning, Inference, and Execution☆12Aug 29, 2026Updated 3 weeks ago
- A simple to use interface for websocket using reflex-frp☆19Mar 18, 2021Updated 5 years ago