LaTeX package to typeset Uppaal timed automata specifications
☆13Dec 19, 2025Updated 6 months ago
Alternatives and similar repositories for uppaal-latex
Users that are interested in uppaal-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- std::map/std::set implementation using the adaptive radix tree☆15Jun 13, 2026Updated 3 weeks ago
- Single header file with a bunch of useful statistical functions such as ANOVA, Kruskal-Wallis, T-test, etc.☆18Mar 15, 2026Updated 3 months ago
- Example static/shared library output of cmake-init☆13Jan 12, 2025Updated last year
- Online BDD Simulation Tool☆25Jul 29, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Plotting, graphing and data visualization for your C++ programs☆57Jun 25, 2026Updated last week
- Spectrum Shield for Arduino, available from SparkFun Electronics.☆23May 4, 2020Updated 6 years ago
- Reasonably fast Fourier transform in a single header for C and C++☆46Feb 18, 2023Updated 3 years ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- ☆90Mar 19, 2026Updated 3 months ago
- Virtual FAT16 implementation for embedded USB Mass Storage Device emulation☆13Oct 9, 2022Updated 3 years ago
- Displays HDF5 files in VS code☆11Dec 20, 2022Updated 3 years ago
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆15Jan 12, 2024Updated 2 years ago
- Convert your KiCAD board into a nice looking 2D drawing suitable for pinout diagrams☆13Apr 18, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Inkscape to Blender front panel exporter☆20May 27, 2022Updated 4 years ago
- Teaching computers to recognize other computers, funded by Impakt.nl☆10Jul 31, 2014Updated 11 years ago
- LSD-SLAM☆10Jun 6, 2018Updated 8 years ago
- A persistent configuration management library for embedded Rust applications.☆19Apr 16, 2026Updated 2 months ago
- ☆13Aug 22, 2023Updated 2 years ago
- Matrix Lie group on 2D and 3D, and its application☆13Jun 29, 2020Updated 6 years ago
- A Rust client for Cloudflare Turnstile☆13Sep 9, 2024Updated last year
- Kari, an embeddable programming language, written in and for Rust☆29Jan 6, 2023Updated 3 years ago
- ☆11Sep 5, 2025Updated 9 months 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.
- utility to export outline collections/documents for usage of backup, replication, etc☆39Jun 15, 2026Updated 2 weeks ago
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆24Feb 16, 2026Updated 4 months ago
- These are the PCB files, BOM, pictures and all technical drawings needed to make the Pack Supervisor PCB for the DKblock☆16Aug 23, 2022Updated 3 years ago
- KiCad Action Plugin to hide all References on a PCB☆12Sep 18, 2024Updated last year
- Interface to call existing cryptography libraries.☆12Jan 30, 2026Updated 5 months ago
- Generate an SPDX Software Bill of Materials for Rust crates.☆20Aug 10, 2022Updated 3 years ago
- Software for Weighted Orthogonal Distance Regression with Bound Constraints☆14May 31, 2026Updated last month
- A CUDA-accelerated SIFT implementation.☆13Feb 1, 2015Updated 11 years ago
- A clean and dynamic polylux presentation template for typst 0.10☆19Apr 24, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Arduino library to support the VL53L4CD Time-of-Flight high accuracy proximity sensor☆14Oct 31, 2024Updated last year
- C++ Library for Atmel Atmega168/328/1280/2560. Supports general purpose algorithms, compression/decompression algorithms, datetime, ADC, …☆15Apr 2, 2015Updated 11 years ago
- Autonomous USB-C PD controller for Power Sink applications (from Vbus=5V to 20V)☆130Apr 12, 2022Updated 4 years ago
- Gtk application to view property list files☆20May 28, 2015Updated 11 years ago
- SuperDepth: Self-Supervised, Super-Resolved Monocular Depth Estimation☆19Dec 5, 2018Updated 7 years ago
- [IEEE ICRA'25] Distributed Certifiably Correct Range-Aided SLAM☆16Oct 31, 2025Updated 8 months ago
- This repository contains the Light and Versatile Graphics Library (LVGL) port for the STM32H7B3I-DK development board.☆19Jun 15, 2026Updated 2 weeks ago