Skip to content
@hypatiafsa

HypatiaFSA

A Formal-System Assistant Toolkit
readme.md

HypatiaFSA

The HypatiaFSA GitHub organisation is dedicated to the development and maintenance of the Hypatia language and its accompanying software assistant toolkit.

Projects

In the near future, this organisation will host repositories for:

  • The Hypatia language specification and documentation.
  • Software tools for verifying, analysing, and processing Hypatia documents.
  • Additional resources for developers, such as ide plugins.

Stay tuned for updates as we continue building resources for Hypatia!

Popular repositories Loading

  1. hypatiafsa.github.io hypatiafsa.github.io Public

    Hypatia webpage

    Ruby

  2. .github .github Public

    Hypatia organisation

Repositories

Showing 2 of 2 repositories
  • .github Public

    Hypatia organisation

    hypatiafsa/.github’s past year of commit activity
    0 0 0 0 Updated Jan 27, 2025
  • hypatiafsa.github.io Public

    Hypatia webpage

    hypatiafsa/hypatiafsa.github.io’s past year of commit activity
    Ruby 0 0 0 0 Updated Jan 27, 2025

Top languages

Loading…

Most used topics

Loading…