Agentic AI framework for sphinx-needs projects
☆24Jul 28, 2026Updated last month
Alternatives and similar repositories for pharaoh-skills
Users that are interested in pharaoh-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Test and compare performance of different Sphinx setups.☆17Oct 4, 2023Updated 2 years ago
- groundwork is a python based microframework for highly reusable applications and their components.☆19May 16, 2019Updated 7 years ago
- Integrates different sources into one Sphinx project.☆25Aug 9, 2026Updated 2 weeks ago
- Adds needs/requirements to sphinx☆299Updated this week
- Rust wrapper for Eclipse iceoryx™ - true zero-copy inter-process-communication☆14Sep 14, 2021Updated 4 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.
- 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☆18May 5, 2026Updated 3 months ago
- Provides science, a high level tool to build scies with.☆20Jul 18, 2026Updated last month
- Sphinx extension to add custom favicons☆24Feb 12, 2026Updated 6 months ago
- An introspcetion TUI for iceoryx written in rust☆26Aug 31, 2023Updated 2 years ago
- OpenBSW: A Code-first Software Platform for Automotive Microcontrollers☆136Updated this week
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 5 months ago
- Transforming RTPS IDL to Rust☆23Jan 14, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- AGX Dynamics for Unreal plugin.☆13Updated this week
- Mutation testing tools for Rust☆28Aug 11, 2026Updated 2 weeks ago
- d-EVD-dual-electric-vehicle-dataset☆13Apr 24, 2026Updated 4 months ago
- Safe Rust bindings for CycloneDDS. Generate Cargo crates from IDL and manage your IDLs using the convenience of Cargo.☆36Aug 5, 2026Updated 3 weeks ago
- An Open-Source Reinforcement Learning Framework for Robot-Task Environments☆28Jul 6, 2023Updated 3 years ago
- OpenSOVD main repository☆42Jun 29, 2026Updated 2 months ago
- ROS safety working group repository☆40Jan 31, 2022Updated 4 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 4 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years 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.
- 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
- Traceability extension for Sphinx documentation generator☆31Nov 20, 2023Updated 2 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- SysML v2 model of the Apollo 11 mission☆85May 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…☆11Aug 21, 2026Updated last week
- Sphinx theme to generate PDF files using Weasyprint☆33Jan 20, 2026Updated 7 months ago
- ☆10Jan 11, 2024Updated 2 years 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- A fast vector/matrix library☆10Feb 21, 2026Updated 6 months ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- A no-std implementation of Zenoh.☆43Feb 24, 2026Updated 6 months ago
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- ☆47Jun 27, 2024Updated 2 years ago