RUST library for verification
☆13Nov 5, 2026Updated this week
Alternatives and similar repositories for mununu
Users that are interested in mununu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🧩 Starter template for ASIC hardware IP blocks with Vyges metadata, OpenLane integration, and comprehensive documentation☆13Apr 30, 2026Updated 6 months ago
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 6 months ago
- ☆11Jun 28, 2021Updated 5 years ago
- A REST API service and embeddable Go library for PII detection and anonymization — email, CPF, credit cards, phone numbers, and more. Use…☆17Oct 19, 2026Updated 2 weeks ago
- ☆10Nov 29, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Agent-first memory vault boilerplate. Clone, initialize, and give your AI agents a structured knowledge base they can read, write, and re…☆15Jul 10, 2026Updated 3 months ago
- Single-header C++17 libraries for LLM features: OpenAI and Anthropic streaming, retries, caching, cost estimates, RAG, structured JSON ou…☆14Oct 23, 2026Updated 2 weeks ago
- The SGI Standard Template Library (STL) code and documentation☆11Sep 3, 2022Updated 4 years ago
- ☆24Oct 19, 2026Updated 2 weeks ago
- ☆14Jul 23, 2025Updated last year
- resource exhaustion vulnerabilities in PoSv3 cryptocurrencies☆22Apr 27, 2022Updated 4 years ago
- A simple and extensible state machine implementation in Rust☆10Feb 16, 2026Updated 8 months ago
- Example app for CryptoKitties clone tutorial☆26Nov 4, 2021Updated 5 years ago
- ☆12Updated this week
- 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.
- Enforcement kits for BARR-C, Barr Group's Embedded C Coding Standard: clang-format, clang-tidy, compiler gates, CI, and AI-generator cont…☆17Aug 26, 2026Updated 2 months ago
- Reinforcement learning-based gyroscope spoofing attacks against PX4 and ArduPilot UAV flight controllers. Research artifacts and reproduc…☆17Apr 22, 2026Updated 6 months ago
- Docker for the minerl gym environment with Jupyter, PyTorch and CUDA drivers installed☆21Aug 15, 2019Updated 7 years ago
- Research software for reconstructing 3x3 puzzle-cube solves from 120 fps phone video, with a local workbench, dataset, and models.☆26Aug 3, 2026Updated 3 months ago
- AI assistant skills for building, simulating and debugging Wolfram System Modeler models☆20Oct 27, 2026Updated last week
- Open-source systems engineering for Software-Defined Vehicle — SysML v2, MBSE, product-line engineering, digital continuity, and continuo…☆13Updated this week
- ☆22Oct 8, 2026Updated 3 weeks ago
- ☆17Oct 16, 2024Updated 2 years ago
- ☆24Mar 16, 2026Updated 7 months 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.
- 🎬 Production-ready animation library for Leptos with complete Motion Studio, WebGL acceleration, and Framer Motion-inspired API. Built w…☆13Oct 6, 2025Updated last year
- A Suite of Benchmark Programs for C-based High-Level Synthesis☆11Jun 9, 2025Updated last year
- AI hardware engineer☆13Updated this week
- This is the public easybuild repository of JSC.☆21Sep 13, 2026Updated last month
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 10 months ago
- SysML v2 Robot Vacuum Cleaner project☆15Oct 22, 2026Updated 2 weeks ago
- ☆13Nov 28, 2025Updated 11 months ago
- ☆10Jan 21, 2024Updated 2 years ago
- Fast drone serial number lookup using FAA Remote ID database☆18Sep 4, 2026Updated 2 months 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.
- Release repository for the SysML v2 Library for AADL☆16Mar 1, 2026Updated 8 months ago
- AI by AI☆11Oct 19, 2023Updated 3 years ago
- Create a working Rocket Chip bitstream for Xilinx boards on Ubuntu 24.04 LTS by Eugene Tarassov's GitHub repo☆11Apr 27, 2025Updated last year
- https://nvmexplorer.seas.harvard.edu NVMExplorer is a cross-stack design space exploration framework for evaluating and comparing on-chip…☆21Jun 21, 2024Updated 2 years ago
- Open-source desktop workspace for IC design — schematic capture, analog optimization, SPICE/RTL simulation, synthesis, and digital implem…☆14Updated this week
- A small and simple 8-bit CPU built in Logisim. The project also includes an assembler and a manual for those who want to learn how a proc…☆37Mar 1, 2026Updated 8 months ago
- In this paper, a series of Ring Oscillators has been wired in different ways to form Ring Oscillator PUFs to find out the RO PUF which ha…☆12Jul 4, 2020Updated 6 years ago