RSMP Signal Exchange List (SXL) for Traffic Controllers
☆12Dec 19, 2025Updated 3 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.☆14Apr 1, 2026Updated last week
- An example game for the presentation "Multiplayer Games & Collaborative Editing with Phoenix LiveView" which was written for ElixirConf.E…☆23Oct 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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☆11Mar 30, 2026Updated last 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
- YARD Plugin example that documents RSpec code (live example in homepage)☆51Aug 8, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Jul 4, 2025Updated 9 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆17Feb 22, 2026Updated last month
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Apr 2, 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
- Tools for constructing and analyzing the incidence graph or matrix of variables and constraints in a JuMP model☆15Mar 6, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Swedish bulletin board system for AmigaOS. Originally developed between 1990 and 1998.☆23Aug 13, 2025Updated 7 months ago
- A small step for dynamics, a giant leap for SciML☆20Mar 16, 2026Updated 3 weeks ago
- Relational piecewise-linear overapproximations of multi-dimensional functions☆21Sep 24, 2025Updated 6 months ago
- A package for compositional system analysis and design☆30Jul 22, 2025Updated 8 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 last week
- DPLL(T)-based Verification tool for DNNs☆31Apr 2, 2026Updated last week
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆27Dec 10, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆28Dec 7, 2022Updated 3 years ago
- Julia package allowing unit modelling in JuMP using Unitful☆20Dec 11, 2024Updated last year
- ☆57Dec 22, 2025Updated 3 months ago
- 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☆29Mar 2, 2026Updated last month
- Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.☆24Jan 26, 2026Updated 2 months ago
- A Github Action that overwrites your Github Pages branch with the content of current workdir, thus deploy/publish without polluting your …☆42Sep 6, 2025Updated 7 months ago