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☆15Updated this 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
- AGX Dynamics for Unreal plugin.☆12Feb 27, 2026Updated last week
- 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
- ☆15Feb 10, 2026Updated 3 weeks ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 10 months ago
- ☆11Dec 22, 2025Updated 2 months ago
- 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
- ☆18Jul 28, 2025Updated 7 months ago
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆21Feb 17, 2026Updated 2 weeks 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
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- A multibody code for motorcycle simulation☆17Aug 14, 2025Updated 6 months ago
- ☆12Jan 29, 2026Updated last month
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- 🚗 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
- SETLevel: OSI / FMI compliant radar or lidar sensor system model, depending on parametrization.☆11Sep 30, 2024Updated last year
- A library of fast and accurate low fidelity dynamic models for applications in robotics☆11Jul 12, 2024Updated last year
- ☆11Updated this week
- ☆14Feb 25, 2026Updated last week
- A collection of actions for working with ROS data☆14Jun 11, 2025Updated 8 months ago
- Repository to store mkdocs based documentation for the Open AD Kit☆12Jan 19, 2026Updated last month
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- A collection of scientific and industry conferences focused on cloud computing.☆35Jan 13, 2026Updated last month
- ☆14Aug 7, 2025Updated 7 months ago
- ☆12Apr 15, 2025Updated 10 months ago
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated last month
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago