Specification Integration Facility - schema, constraint checker and examples. Responsible: Oskar v.Dungern.
☆17Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for SpecIF
Users that are interested in SpecIF are comparing it to the libraries listed below
Sorting:
- Lightweight Industrial Ontology Support☆21Nov 27, 2025Updated 3 months ago
- GraphQL to SPARQL bridge☆24Feb 9, 2022Updated 4 years ago
- Traceability extension for Sphinx documentation generator☆27Updated this week
- The AUTOMOTIVE ONTOLOGY (AUTO) defines the shared conceptual structures in the automotive industry. It is an OWL ontology. It is built up…☆21Feb 13, 2024Updated 2 years ago
- ☆10Aug 28, 2018Updated 7 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- Software to control Nanoleafs and create effects in a nicer way, based on the gui framework NiceGUI.☆11Dec 26, 2024Updated last year
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- This is an implementation of the W3C Vehicle Information Service standard.☆39Nov 17, 2020Updated 5 years ago
- DRP - A websocket subprotocol for declaring and consuming resources☆13Aug 28, 2025Updated 6 months ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- Sources and Documentation for the HINT project☆11Feb 17, 2026Updated last week
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated 2 weeks ago
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated last month
- The documentation toolchain for Scylla projects.☆13Updated this week
- - Probot app that automatically merges pull requests that pass all checks☆12Apr 2, 2018Updated 7 years ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- A list of awesome comparison projects☆13Mar 13, 2018Updated 7 years ago
- [Todo.txt](http://todotxt.com/) file format parser in Rust☆11Mar 31, 2016Updated 9 years ago
- Collection of repetitive GitHub Actions☆14Sep 17, 2019Updated 6 years ago
- betsy (BPEL/BPMN Engine Test System) - A BPEL/BPMN Conformance Test Suite and Tool☆19Dec 24, 2017Updated 8 years ago
- Desktop application for creating and managing table tennis training plans.☆16Aug 29, 2025Updated 6 months ago
- ☆11Aug 21, 2019Updated 6 years ago
- Codeable Models aims to provide an easy-to-use API for coding software design models akin to UML models, but radically simplified compare…☆12Nov 14, 2023Updated 2 years ago
- Ancient and somewhat pathological LaTeX parser written in Java☆13Jan 19, 2024Updated 2 years ago
- Extract linked metadata from repositories☆13Sep 15, 2025Updated 5 months ago
- An action which exports additional job related URLs as environmental variables☆11Nov 24, 2025Updated 3 months ago
- GitHub app that checks for self-approved commits in pull requests☆11Jul 6, 2025Updated 7 months ago
- Automate a full backup of your Spotify Library every day☆14Jun 11, 2025Updated 8 months ago
- software-architektur.tv Website☆12Feb 22, 2026Updated last week
- Container image of actions/runner for RunnerScaleSets with Dockerd☆14Feb 22, 2026Updated last week
- ☆11Jul 25, 2023Updated 2 years ago
- Will become the slickest development environment and most reliable, fast and comprehensive library for Rational(R) DOORS(R) DXL☆14Mar 28, 2017Updated 8 years ago
- Analyse Social Network of co-authors in DBLP website (https://dblp.uni-trier.de) using NetworkX.☆14May 27, 2020Updated 5 years ago
- Updated version of OX-SOA☆11Jun 24, 2021Updated 4 years ago