roar-net / roar-net-api-specLinks
ROAR-NET API Specification
☆10Updated 4 months ago
Alternatives and similar repositories for roar-net-api-spec
Users that are interested in roar-net-api-spec are comparing it to the libraries listed below
Sorting:
- Project to revive the KittyFlap: A web GUI that allows control of the cat flap on the local network without the official KittyFlap app.☆16Updated last month
- Refinery: an efficient graph solver for generating well-formed models☆18Updated 2 months ago
- ☆19Updated 4 years ago
- Tools and standards for conducting and evaluating research in software engineering☆312Updated last week
- Java AutoGrader, Implemented in Kotlin☆27Updated last week
- ☆11Updated last week
- An open-source Java library for Constraint Programming☆730Updated this week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A curated list of awesome model-driven engineering resources.☆19Updated last year
- A list of references to the most popular research methodologies in software engineering and business information systems.☆16Updated 2 years ago
- JMiniZinc☆18Updated 4 years ago
- Advice for writing LaTeX documents☆1,233Updated 3 months ago
- FICO Xpress Mosel Open Source Repository☆29Updated 2 weeks ago
- Modelserver component☆45Updated 2 months ago
- LaTeX Templates for TU Darmstadt☆236Updated 4 months ago
- jMetal: a framework for multi-objective optimization with metaheuristics☆539Updated this week
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 4 months ago
- Source code plagiarism detection tool☆89Updated last year
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 10 months ago
- JavaSMT - Unified Java API for SMT solvers.☆227Updated last week
- The Next Generation Logic Library☆148Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 2 weeks ago
- LaTeX template for any thesis at the TU Darmstadt☆42Updated 12 years ago
- Rejoinderoo creates a rejoinder (response to reviewers) LaTeX document based on a spreadsheet file.☆24Updated 3 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- DSGVO Generator☆38Updated 2 years ago
- Source code plagiarism detection☆308Updated last week
- XCSP3 Tools in Java☆23Updated this week
- Example project showing how to run a Vagrant box on GitHub Actions☆41Updated 4 years ago