Pictorus-Labs / pictorus-rsView external linksLinks
Pictorus Rust libraries
☆24Updated this week
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☆35Updated this week
- Automotive airfoil design app, powered by AeroSandbox and Dash☆23Mar 2, 2021Updated 4 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 2 months ago
- Isle FPGA Computer☆71Jan 22, 2026Updated 3 weeks ago
- This repository contains source code and a high-quality test dataset for "Automated Commit Message Generation with Large Language Models.…☆10Nov 6, 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
- Serpenta is the standard GUI created by DH08. This repository hosts this standard with the goal of making it a long-term open-source prod…☆10Sep 11, 2025Updated 5 months ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Automatically interact with SVG charts.☆19Sep 23, 2025Updated 4 months ago
- Main repository src, docs, tests☆11Sep 24, 2023Updated 2 years ago
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Example project for the BRS-100-GW1NR9 FPGA development board.☆14Updated this week
- Use an xbox controller with TwinCAT☆20Nov 29, 2023Updated 2 years ago
- [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
- 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☆45Sep 10, 2025Updated 5 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- The Simulation Manager is a library for enabling reproducible scientific simulations.☆12May 1, 2023Updated 2 years ago
- ☆14Dec 23, 2025Updated last month
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- WASIX extensions for Zig ⚡☆12Jun 12, 2025Updated 8 months ago
- A simple client for Wise's API written in Node JS (ES7)☆12Oct 8, 2025Updated 4 months ago
- Open source parallel finite element analysis library☆10Mar 26, 2021Updated 4 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
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- ☆16Feb 10, 2026Updated last week
- A demo showing WASM component model resources in various environments☆11Feb 5, 2025Updated last year
- Fault Injection Automatic Test Equipment☆16Nov 22, 2021Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- A wasmCloud provider for the ollama API☆12Apr 23, 2024Updated last year
- ☆13Feb 10, 2021Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago