mbeddr / mbeddr.formalView external linksLinks
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
☆27Jan 16, 2026Updated 3 weeks ago
Alternatives and similar repositories for mbeddr.formal
Users that are interested in mbeddr.formal are comparing it to the libraries listed below
Sorting:
- Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.☆15Feb 7, 2026Updated last week
- A Tool for Multi-Paradigm Modeling☆25Updated this week
- Compositional Performance Analysis in Python☆21Jan 8, 2021Updated 5 years ago
- This add-on allows importing a set of requirements from a ReqIF file☆23Jan 20, 2026Updated 3 weeks ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Dec 16, 2022Updated 3 years ago
- Toolbox for software dependability engineering of artificial neural networks☆34Nov 22, 2022Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Aug 22, 2024Updated last year
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆25Nov 25, 2025Updated 2 months ago
- Archive/Backup and Render GroupMe chats as JSON and HTML!☆12Aug 20, 2018Updated 7 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- ☆10Mar 24, 2025Updated 10 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 5 months ago
- Definition of the Viper intermediate verification language.☆95Updated this week
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- Unity project files for creating asset bundle mods for Sky Rogue☆14Sep 17, 2020Updated 5 years ago
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- An open-source logical data modeler to support the model driven data engineering approach.☆15Updated this week
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 4, 2026Updated last week
- Using poisson distribution to optimize/simulate staffing count decisions to minimize wait times☆11Feb 3, 2019Updated 7 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- HammerLib is an essential tool for developing mods easily. Packed with a lot of utilities, this library provides nearly anything a modder…☆13Mar 26, 2025Updated 10 months ago
- ☆10Oct 10, 2018Updated 7 years ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- GitHub action to produce a SBOM report from a given Black Duck project☆12Feb 5, 2026Updated last week
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 10 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Jan 22, 2026Updated 3 weeks ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago
- SCRUB is a platform for orchestration and aggregation of static code analysis tools.☆48Jan 21, 2026Updated 3 weeks ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 3 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago