Popular repositories

1. athena athena Public

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

   Standard ML 61 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