RSMP Signal Exchange List (SXL) for Traffic Controllers
☆12Dec 19, 2025Updated 4 months ago
Alternatives and similar repositories for rsmp_sxl_traffic_lights
Users that are interested in rsmp_sxl_traffic_lights are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easily push yard docs to Github Pages☆13Mar 14, 2021Updated 5 years ago
- ITS interchange provides a secure and scalable way to exchange ITS related data between providers.☆14Updated this week
- An example game for the presentation "Multiplayer Games & Collaborative Editing with Phoenix LiveView" which was written for ElixirConf.E…☆24Oct 8, 2020Updated 5 years ago
- iCloud find my friends API☆11Feb 6, 2017Updated 9 years ago
- YARD extension for RSpec 2 (in development - not working yet)☆17Jun 10, 2011Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An Apache Cordova app that uses the ADAL plugin for Cordova to authenticate uses and call a web API using OAuth 2.0 access tokens.☆10Mar 29, 2018Updated 8 years ago
- (G)r(e)e(n)Address.i(t) n(L)ockTim(e) recovery tool☆22Aug 11, 2017Updated 8 years ago
- A mapping of greek postal codes to territory and approximate latitude-longitude coordinates of their centre☆20Mar 3, 2021Updated 5 years ago
- Exact real arithmetic using Dedekind cuts☆11Apr 20, 2026Updated last week
- The Julia Ecosystem Security Advisory Database☆23Updated this week
- This repository holds demos for my websocets journey.☆12Oct 24, 2018Updated 7 years ago
- DM i AI 2022☆10Oct 4, 2022Updated 3 years ago
- GitHub Action to publish files to a git repo☆25Jun 18, 2024Updated last year
- An offline tool to format JSON☆17Oct 17, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- YARD Plugin example that documents RSpec code (live example in homepage)☆51Aug 8, 2019Updated 6 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Updated this week
- Interval Analysis and Mixed Monotone Reachability in JAX☆20Feb 22, 2026Updated 2 months ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Apr 22, 2026Updated last week
- ReCaptcha ASP.NET MVC version 2.0 wrapper☆16Aug 31, 2018Updated 7 years ago
- John Jordan's reverse engineering of Frontier: First Encounters.☆33Jun 2, 2015Updated 10 years ago
- ☆17Jul 26, 2023Updated 2 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆16Jan 17, 2025Updated last year
- Solving unregularized optimal transport problems with Julia☆18Sep 16, 2023Updated 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.
- Tools for constructing and analyzing the incidence graph or matrix of variables and constraints in a JuMP model☆15Mar 6, 2026Updated last month
- Swedish bulletin board system for AmigaOS. Originally developed between 1990 and 1998.☆23Aug 13, 2025Updated 8 months ago
- A small step for dynamics, a giant leap for SciML☆20Mar 16, 2026Updated last month
- Relational piecewise-linear overapproximations of multi-dimensional functions☆21Sep 24, 2025Updated 7 months ago
- A package for compositional system analysis and design☆31Jul 22, 2025Updated 9 months ago
- Convention-based automagical C# .config to object mapper☆34Oct 4, 2020Updated 5 years ago
- A ReStructuredText plugin for Jekyll and Octopress☆58Feb 15, 2013Updated 13 years ago
- Prometheus client for Julia☆23Apr 1, 2026Updated 3 weeks ago
- DPLL(T)-based Verification tool for DNNs☆31Apr 2, 2026Updated 3 weeks 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.
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆27Dec 10, 2023Updated 2 years ago
- ☆28Dec 7, 2022Updated 3 years ago
- Julia package allowing unit modelling in JuMP using Unitful☆20Dec 11, 2024Updated last year
- ☆59Apr 18, 2026Updated last week
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆18Nov 29, 2018Updated 7 years ago
- A MathOptInterface.jl interface to the MOSEK solver☆29Updated this week
- Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.☆24Apr 14, 2026Updated 2 weeks ago