Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.
☆14Sep 27, 2016Updated 9 years ago
Alternatives and similar repositories for skyfire
Users that are interested in skyfire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- ☆22Feb 18, 2025Updated last year
- OpenTMI (Test Management Infrastructure) Core☆23Feb 12, 2026Updated 4 months ago
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆11Oct 6, 2020Updated 5 years ago
- Further developed as SyntaxDot: https://github.com/tensordot/syntaxdot☆13Dec 18, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12May 8, 2017Updated 9 years ago
- ☆12Sep 21, 2017Updated 8 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Oct 1, 2014Updated 11 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- Programming with Spaces in Go☆14Apr 29, 2018Updated 8 years ago
- An implementation for FIWARE Orion and Cygnus on AWS.☆10Jun 17, 2024Updated 2 years ago
- A vocabulary which represents the Supply Chain Operations Reference (SCOR) standard.☆11Jan 12, 2018Updated 8 years ago
- Simple Operator for IoTDB☆11Aug 29, 2021Updated 4 years ago
- Repository for the selophane project (see the README.md file for details)☆33Jan 16, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆19Jun 20, 2023Updated 3 years ago
- Library for commenting things with violations from static code analysis.☆12Oct 7, 2025Updated 8 months ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆20Feb 2, 2013Updated 13 years ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆15Jan 9, 2017Updated 9 years ago
- Collection of Design Principles (see Wiki)☆15Jul 21, 2022Updated 3 years ago
- ☆10Apr 13, 2019Updated 7 years ago
- Canary release with helm (Deprecated since compass v2.8)☆13Sep 28, 2020Updated 5 years ago
- ☆36May 20, 2022Updated 4 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27May 29, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.☆21Dec 21, 2018Updated 7 years ago
- ☆126May 26, 2026Updated last month
- Scalable Detection of Concept Drifts on Data Streams with Parallel Adaptive Windowing☆10Dec 14, 2018Updated 7 years ago
- ☆28Jun 18, 2026Updated last week
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- cognicity-server: NodeJS server for CogniCity data and web files.☆23Mar 20, 2017Updated 9 years ago
- Path finding model using the A-star algorithm in Netlogo☆16Nov 15, 2019Updated 6 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- ☆28Jun 2, 2026Updated 3 weeks 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.
- A base template for building your own Lua scripts for Tabletop Simulator. It includes an actual implementation for the cooperative deck-b…☆18Mar 5, 2026Updated 3 months ago
- Rust port of pandoc-types☆16Feb 11, 2023Updated 3 years ago
- Mainflux edge gateways☆18Dec 9, 2020Updated 5 years ago
- todomvc full stack demo project. react + backend API by gokit microservice toolkit. include unit test, integration test, e2e test, github…☆16Mar 28, 2022Updated 4 years ago
- Web based code browser using clang to provide basic code analysis.☆47Jul 20, 2017Updated 8 years ago
- ☆12Jul 10, 2024Updated last year
- Utility to create a Continuous Organisation☆15Jun 3, 2019Updated 7 years ago