Agentic AI framework for sphinx-needs projects
☆23Jul 17, 2026Updated this week
Alternatives and similar repositories for pharaoh
Users that are interested in pharaoh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Adds needs/requirements to sphinx☆292Updated this week
- Rust wrapper for Eclipse iceoryx™ - true zero-copy inter-process-communication☆14Sep 14, 2021Updated 4 years ago
- Fast Wasm interpreter in Rust☆16May 7, 2022Updated 4 years ago
- Rust parser of some-IP content☆14Nov 6, 2024Updated last year
- Compile-Time Memory Isolation via WebAssembly and Rust Transpilation☆17May 5, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OpenBSW: A Code-first Software Platform for Automotive Microcontrollers☆129Updated this week
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 4 months ago
- Transforming RTPS IDL to Rust☆23Jan 14, 2019Updated 7 years ago
- AGX Dynamics for Unreal plugin.☆13Jul 3, 2026Updated 2 weeks ago
- Mutation testing tools for Rust☆25Updated this week
- d-EVD-dual-electric-vehicle-dataset☆13Apr 24, 2026Updated 2 months ago
- Custom Keras ML block example for Edge Impulse☆12Jun 30, 2026Updated 3 weeks ago
- Safe Rust bindings for CycloneDDS. Generate Cargo crates from IDL and manage your IDLs using the convenience of Cargo.☆36Jan 18, 2025Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Score project main repository☆100Updated this week
- Implementation of the AUTOSAR Adaptive Platform specifications☆33Oct 2, 2020Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated 2 years ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Jun 23, 2026Updated 3 weeks ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fast vector/matrix library☆10Feb 21, 2026Updated 5 months ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- PREEMPT_RT Linux for Real-time Edge Software☆13Jul 9, 2026Updated last week
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 3 years ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆16Apr 22, 2025Updated last year
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated last year
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- A no-std implementation of Zenoh.☆42Feb 24, 2026Updated 4 months ago
- C-Star is a python package for setting up and running ocean model simulations, with a particular focus on marine carbon dioxide removal (…☆20Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆10Nov 5, 2016Updated 9 years ago
- ☆65Jul 12, 2018Updated 8 years ago
- ☆17Updated this week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Parallel, fused reducers for Lean 4☆15May 30, 2026Updated last month
- Implementation of the Real Time Publish Subscribe (RTPS) in Rust☆57Mar 19, 2024Updated 2 years ago