Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises Learn more →
Fret Alternatives
Similar projects and alternatives to fret
-
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
-
Klotho
AWS Cloud-aware infrastructure-from-code toolbox [NEW]. Build cloud backends with Infrastructure-from-Code (IfC), a revolutionary technique for generating and updating cloud infrastructure. Try IfC with AWS and Klotho now (Now open-source)
-
rust-brotli
Brotli compressor and decompressor written in rust that optionally avoids the stdlib
-
-
-
-
-
Appwrite
Appwrite - The Open Source Firebase alternative introduces iOS support . Appwrite is an open source backend server that helps you build native iOS applications much faster with realtime APIs for authentication, databases, files storage, cloud functions and much more!
fret reviews and mentions
-
[ANN] NASA's Ogma -- now with FPrime support
[5] https://github.com/NASA-SW-VnV/fret
-
[ANN] Copilot 3.12
Among others, Copilot has been used at the Safety Critical Avionics Systems Branch of NASA Langley Research Center for monitoring test flights of drones. It also serves as a runtime monitoring backend for the requirements elicitation tool FRET (https://github.com/NASA-SW-VnV/fret/), via Ogma (https://github.com/nasa/ogma).
-
Hacker News top posts: Dec 12, 2021
Formal Requirements Elicitation Tool\ (3 comments)
- ANN: NASA's Ogma
-
A note from our sponsor - ONLYOFFICE
www.onlyoffice.com | 2 Jun 2023
Stats
NASA-SW-VnV/fret is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of fret is JavaScript.