https://github.com/statusfailed/cartographer-core

https://github.com/statusfailed/cartographer-core

Last synced: 8 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/statusfailed/cartographer-core
• Owner: statusfailed
• License: mit
• Created: 2019-07-01T13:22:54.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-11-27T17:33:24.000Z (over 6 years ago)
• Last Synced: 2025-03-26T06:43:54.731Z (12 months ago)
• Language: Haskell
• Size: 162 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 🗺️ cartographer-core

This is a rewrite of the core library part of

the [cartographer project](http://cartographer.id/).

It lets you:

- [x] construct hypergraphs

- [x] compose and tensor them

- [x] match patterns

- [x] apply rewrite rules

# Dependencies, Build, and REPL

cartographer uses the [nix package manager](https://nixos.org/nix/) to manage

dependencies.

You can build with

    nix-build release.nix

If you want to mess around with the library in GHCI, make sure you have cabal

installed:

    nix-env --install cabal-install

Then you can get a repl with

    nix-shell

    cabal repl

# Know Issues

* [ ] Convexity checking extremely slow: needs benchmarks & fixes