Pictorus Rust libraries
☆24Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for pictorus-rs
Users that are interested in pictorus-rs are comparing it to the libraries listed below
Sorting:
- A Rust interface to FMUs (Functional Mockup Units) that follow the FMI Standard☆39Feb 26, 2026Updated last week
- Automotive airfoil design app, powered by AeroSandbox and Dash☆23Mar 2, 2021Updated 5 years ago
- Isle FPGA Computer☆75Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- CANopen for Python☆12Nov 16, 2025Updated 3 months ago
- ☆11Feb 5, 2024Updated 2 years ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- This repository contains source code and a high-quality test dataset for "Automated Commit Message Generation with Large Language Models.…☆10Nov 6, 2025Updated 4 months ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- [VLDB 2024] ADF & TransApp: A Transformer-Based Framework for Appliance Detection Using Smart Meter Consumption Series☆12Feb 12, 2025Updated last year
- ☆10Jan 16, 2025Updated last year
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Automatically interact with SVG charts.☆19Sep 23, 2025Updated 5 months ago
- Example project for the BRS-100-GW1NR9 FPGA development board.☆14Feb 14, 2026Updated 3 weeks ago
- Use an xbox controller with TwinCAT☆20Nov 29, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Main repository src, docs, tests☆11Sep 24, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Functional Mockup Interface (FMI) for Unity☆45Feb 27, 2026Updated last week
- Open source parallel finite element analysis library☆10Mar 26, 2021Updated 4 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- A demo showing WASM component model resources in various environments☆12Feb 5, 2025Updated last year
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆14Feb 1, 2025Updated last year
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- WASIX extensions for Zig ⚡☆12Jun 12, 2025Updated 8 months ago
- Fault Injection Automatic Test Equipment☆16Nov 22, 2021Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A Debug Console for Qt QML☆22Jan 8, 2018Updated 8 years ago
- The Simulation Manager is a library for enabling reproducible scientific simulations.☆12May 1, 2023Updated 2 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Demo python jupyter notebook to process a video and re-render the mesh overlaid onto the original frames☆10Jun 18, 2020Updated 5 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- 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