LaTeX package to typeset Uppaal timed automata specifications
☆13Dec 19, 2025Updated 3 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:
- Biquad Digital Filter Class☆27Apr 12, 2018Updated 8 years ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- A tus server integration for Rocket framework☆14Sep 9, 2024Updated last year
- 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
- 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.
- Interactive PX4 Flight Log Analysis Tool☆45Feb 20, 2026Updated last month
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆14Jan 12, 2024Updated 2 years ago
- Convert your KiCAD board into a nice looking 2D drawing suitable for pinout diagrams☆13Apr 18, 2024Updated last year
- Inkscape to Blender front panel exporter☆20May 27, 2022Updated 3 years ago
- Teaching computers to recognize other computers, funded by Impakt.nl☆10Jul 31, 2014Updated 11 years ago
- vl53l0x☆16Aug 7, 2025Updated 8 months ago
- LSD-SLAM☆10Jun 6, 2018Updated 7 years ago
- Catkin workspace containing all relevant behavior tree modules for easy access☆12Apr 2, 2020Updated 6 years ago
- ☆13Aug 22, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Matrix Lie group on 2D and 3D, and its application☆14Jun 29, 2020Updated 5 years ago
- A Rust client for Cloudflare Turnstile☆13Sep 9, 2024Updated last year
- A Rust wrapper over libftdi1 library for FTDI devices☆17Aug 4, 2023Updated 2 years ago
- Kari, an embeddable programming language, written in and for Rust☆29Jan 6, 2023Updated 3 years ago
- ☆11Sep 5, 2025Updated 7 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
- Trying to create a PK to Ruby wrapper for university☆14Nov 16, 2012Updated 13 years ago
- Generate an SPDX Software Bill of Materials for Rust crates.☆20Aug 10, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- C++ Library for Atmel Atmega168/328/1280/2560. Supports general purpose algorithms, compression/decompression algorithms, datetime, ADC, …☆15Apr 2, 2015Updated 11 years ago
- Arduino library to support the VL53L4CD Time-of-Flight high accuracy proximity sensor☆13Oct 31, 2024Updated last year
- Autonomous USB-C PD controller for Power Sink applications (from Vbus=5V to 20V)☆128Apr 12, 2022Updated 4 years ago
- Okra's lightweight embedded state of charge algorithm.☆13Dec 9, 2020Updated 5 years ago
- SuperDepth: Self-Supervised, Super-Resolved Monocular Depth Estimation☆19Dec 5, 2018Updated 7 years ago
- Scripts and applications for autonomously controlling the Crazyflie using camera/Kinect on a host☆12Feb 16, 2022Updated 4 years ago
- [IEEE ICRA'25] Distributed Certifiably Correct Range-Aided SLAM☆14Oct 31, 2025Updated 5 months ago
- This repository contains the Light and Versatile Graphics Library (LVGL) port for the STM32H7B3I-DK development board.☆17Apr 1, 2026Updated 2 weeks ago
- USB Gamepad firmware for stm32f4☆17Sep 7, 2014Updated 11 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.
- Common EC service framework and associated services☆20Apr 7, 2026Updated last week
- Provides the nt35510 driver, part of the STM32Cube BSP Component for all STM32xx series.☆13Jul 4, 2024Updated last year
- MXNet-SSD object detection example of detecting country flag cards☆16Mar 9, 2018Updated 8 years ago
- A platform agnostic driver to interface with the HX711 (load cell amplifier and ADC)☆15Nov 12, 2025Updated 5 months ago
- Cloudflare Workers template for using esbuild and TypeScript with the ES modules syntax ⚡☆22Oct 7, 2021Updated 4 years ago
- Toy OpenCV cv::Mat Socket Server☆11Jun 24, 2017Updated 8 years ago
- Some sketches for the VL53L5CX ranging camera for use with the Arduino IDE☆23Dec 1, 2021Updated 4 years ago