https://github.com/philzook58/egraphs.jl

https://github.com/philzook58/egraphs.jl

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/philzook58/egraphs.jl
• Owner: philzook58
• License: mit
• Created: 2020-12-05T22:17:47.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2021-04-10T19:58:41.000Z (over 4 years ago)
• Last Synced: 2025-02-26T01:45:25.250Z (8 months ago)
• Language: Julia
• Size: 27.3 KB
• Stars: 8
• Watchers: 3
• Forks: 2
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# EGraphs

[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://philzook58.github.io/EGraphs.jl/stable)

[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://philzook58.github.io/EGraphs.jl/dev)

[![Build Status](https://github.com/philzook58/EGraphs.jl/workflows/CI/badge.svg)](https://github.com/philzook58/EGraphs.jl/actions)

[![Coverage](https://codecov.io/gh/philzook58/EGraphs.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/philzook58/EGraphs.jl)