Skip to content
@AthenaFoundation

AthenaFoundation

Popular repositories

  1. athena athena Public

    Athena is a modern, practical language for proof engineering & natural deduction.

    Standard ML 63 4

  2. athena-playground athena-playground Public

    JavaScript 1 1

  3. vscode-athena vscode-athena Public

    Athena language support for VS Code (work in progress)

  4. athena-language-server athena-language-server Public

    A language server for the Athena proof language

    Rust 1

  5. athena-rs athena-rs Public

    Rust

  6. Athena_LibDDDAS Athena_LibDDDAS Public

    Forked from RPI-WCL/Athena_LibDDDAS

    This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems

    Python

Repositories

Showing 6 of 6 repositories
  • athena Public

    Athena is a modern, practical language for proof engineering & natural deduction.

    AthenaFoundation/athena’s past year of commit activity
    Standard ML 63 Apache-2.0 4 4 (2 issues need help) 1 Updated Aug 10, 2024
  • athena-playground Public
    AthenaFoundation/athena-playground’s past year of commit activity
    JavaScript 1 1 0 0 Updated Nov 3, 2023
  • Athena_LibDDDAS Public Forked from RPI-WCL/Athena_LibDDDAS

    This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems

    AthenaFoundation/Athena_LibDDDAS’s past year of commit activity
    Python 0 3 0 0 Updated Aug 4, 2023
  • athena-language-server Public

    A language server for the Athena proof language

    AthenaFoundation/athena-language-server’s past year of commit activity
    Rust 0 Apache-2.0 1 1 1 Updated Aug 2, 2023
  • athena-rs Public
    AthenaFoundation/athena-rs’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Mar 30, 2023
  • vscode-athena Public

    Athena language support for VS Code (work in progress)

    AthenaFoundation/vscode-athena’s past year of commit activity
    0 0 0 0 Updated May 26, 2022

Top languages

Loading…

Most used topics

Loading…