LaTeX package to typeset Uppaal timed automata specifications
☆13Dec 19, 2025Updated 2 months ago
Alternatives and similar repositories for uppaal-latex
Users that are interested in uppaal-latex are comparing it to the libraries listed below
Sorting:
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- Teaching computers to recognize other computers, funded by Impakt.nl☆10Jul 31, 2014Updated 11 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Modern Swagger/OpenAPI integration for AdonisJS v6 with Scalar UI☆24Feb 3, 2026Updated last month
- Okra's lightweight embedded state of charge algorithm.☆13Dec 9, 2020Updated 5 years ago
- LSD-SLAM☆10Jun 6, 2018Updated 7 years ago
- Arduino library to support the VL53L4CD Time-of-Flight high accuracy proximity sensor☆13Oct 31, 2024Updated last year
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆23Feb 16, 2026Updated 2 weeks ago
- Fork of http://asciitex.sourceforge.net/ with several improvements. But you should really be using https://github.com/bartp5/libtexprintf…☆13Jan 30, 2023Updated 3 years ago
- Virtual FAT16 implementation for embedded USB Mass Storage Device emulation☆12Oct 9, 2022Updated 3 years ago
- A Rust wrapper over libftdi1 library for FTDI devices☆16Aug 4, 2023Updated 2 years ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆12Aug 15, 2023Updated 2 years ago
- ☆11Sep 5, 2025Updated 6 months ago
- Sphinx theme for SciPy documentation and websites☆17Dec 30, 2021Updated 4 years ago
- C++ Library for Atmel Atmega168/328/1280/2560. Supports general purpose algorithms, compression/decompression algorithms, datetime, ADC, …☆15Apr 2, 2015Updated 10 years ago
- Common EC service framework and associated services☆20Feb 26, 2026Updated last week
- A DBC file parsing library written in C++11.☆14Oct 1, 2025Updated 5 months ago
- utility to export outline collections/documents for usage of backup, replication, etc☆26Feb 15, 2026Updated 2 weeks ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Interface to call existing cryptography libraries.☆12Jan 30, 2026Updated last month
- Software for Weighted Orthogonal Distance Regression with Bound Constraints☆13Jan 27, 2026Updated last month
- A set of notebooks to introduce neuroscientists to concepts in information visualization.☆14Apr 27, 2018Updated 7 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- A set of notebooks to introduce neuroscientists to concepts in machine learning.☆15Aug 30, 2017Updated 8 years ago
- C++ parser for the RAW KITTI dataset, with callbacks☆15Nov 22, 2016Updated 9 years ago
- Provides the nt35510 driver, part of the STM32Cube BSP Component for all STM32xx series.☆12Jul 4, 2024Updated last year
- Fusion-then-Distillation: Toward Cross-modal Positive Distillation for Domain Adaptive 3D Semantic Segmentation [TCSVT 2025]☆16Feb 21, 2025Updated last year
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 2 months ago
- A clean and dynamic polylux presentation template for typst 0.10☆15Apr 24, 2025Updated 10 months ago
- A bootloader for the PIC18 MCUs☆16Sep 5, 2024Updated last year
- Inventory management for hardware startups☆18Feb 5, 2019Updated 7 years ago
- Code exploring the use of reward machines in the context of cooperative multi-agent reinforcement learning.☆14Apr 29, 2023Updated 2 years ago
- [RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.☆18Dec 22, 2023Updated 2 years ago
- [IEEE ICRA'25] Distributed Certifiably Correct Range-Aided SLAM☆14Oct 31, 2025Updated 4 months ago
- USB Gamepad firmware for stm32f4☆17Sep 7, 2014Updated 11 years ago
- vl53l0x☆16Aug 7, 2025Updated 6 months ago
- A CUDA-accelerated SIFT implementation.☆13Feb 1, 2015Updated 11 years ago