-
fret-dl-templates Public
FRETISH templates for Dynamic Logic Contracts
JavaScript UpdatedNov 28, 2024 -
-
-
fret Public
Forked from NASA-SW-VnV/fretA framework for the elicitation, specification, formalization and understanding of requirements.
JavaScript Other UpdatedDec 2, 2022 -
csp-parsing Public
Forked from autonomy-and-verification/ros-contract-languageA helper for CSP
Python GNU General Public License v3.0 UpdatedApr 24, 2021 -
lark Public
Forked from lark-parser/larkLark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
Python MIT License UpdatedDec 6, 2020 -
autonomy-and-verification.github.io Public
Forked from autonomy-and-verification/autonomy-and-verification.github.ioWebsite for the Autonomy and Verification Network.
SCSS The Unlicense UpdatedOct 21, 2020 -
TractableCSPm Public
A Work in Progress library of CSPm modules that provide tractable data structures
UpdatedMar 8, 2020 -
CSV2GLS Public
Small python tool to convert CSV files to tex, compatiable with LaTeX's glossary pacakge
Python UpdatedSep 16, 2018 -
-
QuoteScrape Public
A Simple Python script that scrapes a given IMDB 'Quotes' page and returns a JSON list of objects containing the film name and quote.
-
{{ message }}