Integrated Discrete-Event Systems Software
☆14Aug 27, 2026Updated 2 months ago
Alternatives and similar repositories for IDES
Users that are interested in IDES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 8 years ago
- UltraDES is a library for modeling, analysis and control of Discrete Event Systems. It has been developed at LACSED | UFMG (http://www.la…☆22Aug 16, 2026Updated 2 months ago
- Classes LaTeX para documentos do CIn☆13Dec 26, 2020Updated 5 years ago
- A growing collection of college basketball visualizations and their source code☆14Dec 30, 2023Updated 2 years ago
- ☆14May 7, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).☆10Jul 12, 2026Updated 3 months ago
- Firmware for second generation of UBC Solar's car☆11Jun 21, 2023Updated 3 years ago
- This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST…☆10Aug 2, 2023Updated 3 years ago
- This is the repository for valuing individual players within pressing situation in football with symbolic regression methods.☆16Mar 12, 2025Updated last year
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 6 years ago
- like Java, but less so☆17Jan 18, 2016Updated 10 years ago
- Disassembly Generation and Processing for JARV1S☆15Jul 15, 2025Updated last year
- ☆30Apr 2, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bluetooth Low Energy Baseband☆15Dec 5, 2018Updated 7 years ago
- Master degree thesis☆13Sep 26, 2016Updated 10 years ago
- using rulsif for abrupt-change detection focusing on Environment, Usage, References, Introduction, Rulsif abrupt change detection.☆10May 29, 2026Updated 5 months ago
- AL Activity Learning for the Smarthome☆12Apr 26, 2021Updated 5 years ago
- ☆15Nov 27, 2020Updated 5 years ago
- A command line tool to scrape album cover from apple music preview page.☆15Dec 8, 2022Updated 3 years ago
- A modular collection of game libraries for Python and/or C++.☆20Feb 25, 2018Updated 8 years ago
- Enrollment plugin with Mercado Pago☆31Jan 24, 2026Updated 9 months ago
- golangで実装したttLibCのwrapper、エンコード・デコードとかやります。☆16Oct 3, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Backtesting team-strength models☆21Jun 2, 2024Updated 2 years ago
- Implementation of Deep Learning for Predicting Human Strategic Behavior☆15Apr 6, 2017Updated 9 years ago
- Parallel and Multicore Computing Project 2☆12Apr 16, 2020Updated 6 years ago
- My Java codes for the MOA framework. It includes the implementations of FHDDM, FHDDMS, and MDDMs.☆25Apr 24, 2021Updated 5 years ago
- This repository provides the codes for implementing robust control co-design using tube-based MPC.☆15Jun 12, 2023Updated 3 years ago
- Electric Vehicle Fast Charger: A high-performance, open-source DC off-board charger designed for rapid and efficient charging. This repos…☆10Jul 8, 2024Updated 2 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Oct 23, 2023Updated 3 years ago
- ☆20May 7, 2024Updated 2 years ago
- 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.
- Logseq theme based on "Based 16 Atelier Forest"☆10Jun 4, 2021Updated 5 years ago
- The koyu.space version of glitch-soc☆15Oct 22, 2024Updated 2 years ago
- Monolithic repository containing QFSAE PCB designs.☆23Nov 28, 2024Updated last year
- A set of m-files that hopefully implements the ideas given in (Lu, Li et al. 2013)☆18Apr 11, 2018Updated 8 years ago
- Lib to read a CRSF byte stream and decode telemetry and RC☆22May 14, 2025Updated last year
- NL2Flow: A PDDL Interface to Flow Construction☆16Dec 4, 2025Updated 10 months ago
- course project: a simple implementation of Q learning and MPC☆20May 26, 2021Updated 5 years ago