LogicNG for Rust
☆11Mar 2, 2026Updated last week
Alternatives and similar repositories for logicng-rs
Users that are interested in logicng-rs are comparing it to the libraries listed below
Sorting:
- kiso-testing-python-uds☆10Aug 6, 2025Updated 7 months ago
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated last week
- openxilenv☆18Jan 22, 2026Updated last month
- Documentation - Eclipse Leda provides a Yocto-based build setup for SDV.EDGE components☆21Jan 9, 2024Updated 2 years ago
- Zenoh Flow examples☆19Aug 22, 2023Updated 2 years ago
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 6 months ago
- The Disclosure-CLI provides an easy way to access the public api of the FOSS Disclosure Portal. It is the recommended tool for external s…☆18Dec 29, 2025Updated 2 months ago
- Test Electronic Control Units around the world in a transparent network.☆39Updated this week
- ☆42Mar 1, 2026Updated last week
- ☆15Feb 10, 2026Updated last month
- AGX Dynamics for Unreal plugin.☆12Feb 27, 2026Updated last week
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 10 months ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Aug 21, 2025Updated 6 months ago
- ☆17Updated this week
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆21Feb 17, 2026Updated 3 weeks ago
- ☆11Dec 22, 2025Updated 2 months ago
- ☆18Jul 28, 2025Updated 7 months ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- ☆12Jan 29, 2026Updated last month
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- A multibody code for motorcycle simulation☆17Aug 14, 2025Updated 6 months ago
- 🚗 Classic Diagnostic Adapter 🏥☆20Updated this week
- xOpera orchestrator compliant with TOSCA YAML v1.3 in the making☆39Jan 22, 2026Updated last month
- openmcx☆40Mar 5, 2025Updated last year
- This tool develops driving cycles for specific driving style properties (comfort, consumption, fastness, subjective safety) of AVs.It is …☆13May 16, 2022Updated 3 years ago
- Academic page for LimSim++☆11Mar 19, 2024Updated last year
- A collection of actions for working with ROS data☆14Jun 11, 2025Updated 8 months ago
- A library of fast and accurate low fidelity dynamic models for applications in robotics☆11Jul 12, 2024Updated last year
- A collection of software to connect TAP devices under Linux and Windows to the Vector SIL Kit☆11Mar 3, 2026Updated last week
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated last month
- ☆14Mar 2, 2026Updated last week
- ☆11Updated this week
- ☆14Aug 7, 2025Updated 7 months ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Dec 18, 2025Updated 2 months ago
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated last month