Skip to content

@loonwerks loonwerks

Change the repository type filter

All

    Repositories list

    55 repositories

    • INSPECTA-models

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 4, 2025Mar 4, 2025

    • AgreeDog

      Public
      SCSS
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • Resolute-Updates

      Public
      Composite Eclipse P2 update site for released versions of Resolute
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Feb 21, 2025Feb 21, 2025

    • Resolute

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•10•0•Updated Feb 21, 2025Feb 21, 2025

    • MATRICS

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • AGREE

      Public
      Assume-Guarantee REasoning Environment
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •5•14•40•3•Updated Jan 28, 2025Jan 28, 2025

    • loonwerks.github.io

      Public
      HTML
      •1•1•0•0•Updated Jan 24, 2025Jan 24, 2025

    • jkind

      Public
      JKind - An infinite-state model checker for safety properties in Lustre
      Java
      •
      Other
      •34•53•10•0•Updated Jan 21, 2025Jan 21, 2025

    • AgreeDog-plugin

      Public
      AgreeDog plugin for OSATE/AGREE
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 12, 2025Jan 12, 2025

    • ReCAP

      Public
      Repository for Cognitive Attack Patterns
      0•2•0•0•Updated Jan 10, 2025Jan 10, 2025

    • jkindRegression

      Public
      Python
      •
      Other
      •0•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • CoqDog

      Public
      CoqDog Copilot, a web application for proof synthesis and repair using the Coq theorem prover
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • INSPECTA-Assurance-Dashboard

      Public
      Assurance Dashboard
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • AHMIIAS

      Public
      Open repository for the NASA AHMIIAS project
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •2•1•0•0•Updated Sep 30, 2024Sep 30, 2024

    • AGREE-Updates

      Public
      Composite Eclipse P2 update site for released versions of AGREE
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Sep 26, 2024Sep 26, 2024

    • BriefCASE

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•3•1•Updated Sep 25, 2024Sep 25, 2024

    • AGREE-Toy-Example

      Public
      Toy example illustrating AGREE analysis applied as part of CI/CD pipeline
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • BriefCASE-Updates

      Public
      Composite Eclipse P2 update site for released versions of BriefCASE
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Sep 6, 2024Sep 6, 2024

    • formal-methods-workbench-updates

      Public
      Composite Eclipse P2 update site for released versions of the various Formal Methods Workbench plug-ins
      Other
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • INSPECTA

      Public
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • syside-for-agree

      Public
      TypeScript
      •
      Other
      •0•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • aadl-sysmlv2-annex

      Public
      Experimental translation between AADL and SysMLv2
      Java
      •2•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • BriefCASE-Tutorial

      Public
      Assembly
      •0•1•0•0•Updated Jun 21, 2024Jun 21, 2024

    • Cyber-Resilient-UAV

      Public
      CASE UAV model for headless AGREE demo
      Assembly
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 20, 2024Jun 20, 2024

    • AGREE-CI-Action

      Public
      GitHub Action for running AGREE analysis in a CI pipeline workflow
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 11, 2024Jun 11, 2024

    • vnncomp2022

      Public
      Benchmark problem for the 2022 VNN Competition
      Python
      •0•2•1•0•Updated Dec 20, 2023Dec 20, 2023

    • jkind-web

      Public
      0•0•0•0•Updated Jul 3, 2023Jul 3, 2023

    • vnncomp2023

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Jun 23, 2023Jun 23, 2023

    • AMASE-Updates

      Public
      Composite Eclipse P2 update site for released versions of AMASE
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 2, 2023Jun 2, 2023

    • AMASE

      Public
      This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •4•7•14•0•Updated Jun 2, 2023Jun 2, 2023