railML validation tool
☆14Jun 23, 2021Updated 4 years ago
Alternatives and similar repositories for RailML-Utilities
Users that are interested in RailML-Utilities are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple terminal based todo app☆11Jan 9, 2026Updated 4 months ago
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated 3 months ago
- Your AI-powered SWE teammate, built into your git workflow☆20Updated this week
- The IFC Tunnel Deployment documentation, examples and discussions☆14Jul 18, 2024Updated last year
- Extracts data from the Network Rail (NR) National Electronic Sectional Appendix data☆11Mar 22, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 5 months ago
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Oct 20, 2023Updated 2 years ago
- ☆31Jan 12, 2026Updated 4 months ago
- Brings regular expressions to Excel with a UDF☆11Jul 11, 2017Updated 8 years ago
- Code used for Medium Article☆12May 14, 2020Updated 6 years ago
- A casual attempt at a "classic" styled GroupBox for Avalonia. This repository primarily serves as a minor improvement over @derekantrican…☆22May 9, 2026Updated last month
- Test 3D data sets and benchmarks (WIP)☆12Sep 12, 2024Updated last year
- ☆17May 6, 2026Updated last month
- Web browser based file manager for ESP32 in micropython☆18Jul 18, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- The dotnet tool that can update all dotnet tools☆24May 6, 2024Updated 2 years ago
- MathJax plugin for DokuWiki☆12Nov 20, 2021Updated 4 years ago
- Railway operations analysis for construction projects☆11Apr 20, 2021Updated 5 years ago
- Different TLA+ specifications, mostly for learning purposes☆31May 6, 2024Updated 2 years ago
- Online mvdXMLChecker: Use mvdXML to validate IFC models☆16May 13, 2026Updated 3 weeks ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated 10 months ago
- HTML documentation generated from IfcDoc☆10Aug 18, 2022Updated 3 years ago
- Demo-project: Laravel-based game to predict World Cup (or any tournament) results and get points. Mostly generated with our Laravel Quick…☆10Dec 3, 2019Updated 6 years 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.
- An always up to date collection of useful tools for your Kubernetes linting and auditing needs.☆16Jun 1, 2026Updated last week
- Automatic generate a schematic map by using non-linear optimization with some constraints☆20Mar 3, 2023Updated 3 years ago
- Integrating CesiumJS with Three.js☆21May 18, 2024Updated 2 years ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Dec 24, 2018Updated 7 years ago
- Test instruction and IFC file repository for the BIM for Bridges and Structures Transportation Pooled Fund project TPF-5(372).☆14Jun 6, 2025Updated last year
- A small and simple property grid in angular to view/edit POJOs, excellent if you have a "settings" object you want to give the user to ed…☆18Mar 4, 2023Updated 3 years ago
- Hassle free display of delimited text files in tabular form☆29Updated this week
- Autocad plugin☆17Nov 17, 2021Updated 4 years ago
- Extension for python-capellambse that adds automatically generated context diagrams for arbitrary model elements.☆18Apr 30, 2026Updated last month
- 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.
- ☆33Aug 3, 2024Updated last year
- Minimally invasive analysis of SQL execution in a running process☆41Mar 23, 2021Updated 5 years ago
- Various Utilities for designing Road, Railway Track on AutoCAD. Developed using C++, VC++, AutoCAD ObjectARX☆17Feb 5, 2019Updated 7 years ago
- About me☆16Nov 1, 2024Updated last year
- IFC Infrastructure Extension Deployment unit tests (as of 2021-02-09)☆17Mar 29, 2022Updated 4 years ago
- A tool for checking, sanitizing and minimizing GTFS feeds.☆145May 5, 2026Updated last month
- LaTeX template for MSc and PhD thesis for UMINHO University☆28Jan 24, 2023Updated 3 years ago