Skip to content
@AthenaFoundation

AthenaFoundation

Popular repositories Loading

  1. athena athena Public

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

    Standard ML 71 4

  2. vscode-athena vscode-athena Public

    Athena language support for VS Code (work in progress)

    1

  3. athena-playground athena-playground Public

    JavaScript 1 1

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

    A language server for the Athena proof language

    Rust 1 2

  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.

    Standard ML 71 Apache-2.0 4 4 (2 issues need help) 1 Updated Mar 15, 2025
  • athena-playground Public
    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

    Python 0 2 0 0 Updated Aug 4, 2023
  • athena-language-server Public

    A language server for the Athena proof language

    Rust 1 Apache-2.0 2 1 1 Updated Aug 2, 2023
  • athena-rs Public
    Rust 0 Apache-2.0 0 0 0 Updated Mar 30, 2023
  • vscode-athena Public

    Athena language support for VS Code (work in progress)

    1 0 0 0 Updated May 26, 2022