WP7: Top Level Project for the toolchain
☆28Jan 3, 2016Updated 10 years ago
Alternatives and similar repositories for toolchain
Users that are interested in toolchain are comparing it to the libraries listed below
Sorting:
- WP3 Top Level Project: to cover all tasks related with modeling☆40May 12, 2023Updated 2 years ago
- part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling☆14Apr 28, 2014Updated 11 years ago
- ☆20Nov 23, 2025Updated 3 months ago
- Software Failure and Reliability Assessment Tool (SFRAT)☆14Sep 25, 2025Updated 5 months ago
- A collection of (public) specifications in different formalisms.☆19Mar 6, 2024Updated 2 years ago
- Portainer v2 Add-On for Home Assistant☆20Feb 11, 2026Updated last month
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Pavlova dispatcher based on live availability of KiwiSDR receivers☆24Nov 14, 2022Updated 3 years ago
- Open source implementation of the RaSTA protocol (Railsafe Transport Application)☆33Jun 19, 2024Updated last year
- ☆20Apr 19, 2024Updated last year
- Puzzle game "Unblocked"☆16Jan 19, 2023Updated 3 years ago
- MiniSat reimplemented in Rust☆20Apr 18, 2018Updated 7 years ago
- This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!☆10Mar 31, 2015Updated 10 years ago
- Simple chat based on EventSource SSE☆15Jun 2, 2011Updated 14 years ago
- ☆20Nov 4, 2023Updated 2 years ago
- This is the LinkedIn Learning repository for Level Up: Python Data Acquisitions, Prep, & EDA.☆15Mar 4, 2025Updated last year
- Wave maker based on SVG Arcs☆23Sep 8, 2018Updated 7 years ago
- Rules for usage of C language in critical systems☆46Mar 24, 2021Updated 4 years ago
- Tools to create deb and rpm packages for your projects☆15May 6, 2020Updated 5 years ago
- Mandelbrot fractal viewer☆19Mar 10, 2026Updated last week
- Tool for bloggers that helps them make their blogs more interesting and engaging.☆16Nov 10, 2022Updated 3 years ago
- Utilities for use with openHAB☆15May 20, 2020Updated 5 years ago
- Fork of QD (2.3.17), a library for real double-double and quad-double arithmetic☆22Jan 3, 2021Updated 5 years ago
- ☆43May 3, 2018Updated 7 years ago
- Detailed experiments over simdjson for VLDB article (2019) and future work☆20Oct 3, 2020Updated 5 years ago
- Anggaran Dasar / Anggaran Rumah Tangga Aprogsi - genuine☆11Nov 28, 2015Updated 10 years ago
- Bidirectional transformation between Yao IR and QASM.☆11Dec 6, 2020Updated 5 years ago
- A C implementation of Ukkonen's suffix tree-building algorithm, with test suite and tree print.☆22Nov 16, 2014Updated 11 years ago
- Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)☆22Jan 20, 2026Updated 2 months ago
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 8 years ago
- GLVisualize for the Web☆10Feb 8, 2020Updated 6 years ago
- Different TLA+ specifications, mostly for learning purposes☆31May 6, 2024Updated last year
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 4 years ago
- Learn cloud computing by developing and deploying a web application. In this tutorial, we create an MVC web application with Julia langua…☆10Jan 22, 2024Updated 2 years ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated 11 months ago
- A lightweight image comparison tool☆26Apr 17, 2019Updated 6 years ago
- from https://git.lekensteyn.nl/ltunify.git☆30Dec 27, 2017Updated 8 years ago
- Currently Mandelbulb fractal☆26Nov 22, 2021Updated 4 years ago
- This is a LinkedIn Learning repo for Data Science Foundations: Python Scientific Stack.☆23Aug 18, 2025Updated 7 months ago