https://github.com/AlgebraicJulia/GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://github.com/AlgebraicJulia/GATlab.jl

Last synced: 3 months ago
JSON representation

GATlab: a computer algebra system based on generalized algebraic theories (GATs)

• Host: GitHub
• URL: https://github.com/AlgebraicJulia/GATlab.jl
• Owner: AlgebraicJulia
• License: mit
• Created: 2023-02-16T18:09:34.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-04-23T05:24:03.000Z (7 months ago)
• Last Synced: 2024-04-23T09:46:50.940Z (7 months ago)
• Language: Julia
• Homepage: https://algebraicjulia.github.io/GATlab.jl/
• Size: 1.64 MB
• Stars: 17
• Watchers: 3
• Forks: 2
• Open Issues: 40
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-egraphs - GATlab

README

        
# GATlab

A collection of tools that one can use to reason with GATs and organize models of GATs.

## Features

- Declaration of GATs

- Multiple inheritance of GATs via pushouts

- Parameterized models of GATs ala Standard ML modules/functors

- E-Graph backed rewriting and type inference in arbitrary GATs

- Backwards compatibility with the Catlab implementation of GATs

## Further reading

The design and essential features of GATlab are described in our paper:

> O. Lynch, K. Brown, J. Fairbanks, E. Patterson, 2024:

> "GATlab: Modeling and Programming with Generalized Algebraic Theories"

> [arXiv:2404.04837](https://arxiv.org/abs/2404.04837)