met4citizen / Hypergraph
Hypergraph Rewriting System
☆70Updated 11 months ago
Alternatives and similar repositories for Hypergraph:
Users that are interested in Hypergraph are comparing it to the libraries listed below
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated 11 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week
- A minimal proof checker.☆74Updated 6 months ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 5 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- Use MiniZinc in the browser or with NodeJS☆37Updated last week
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- TypeScript Geometric Algebra Generator☆14Updated last year
- Manifest manifold models with magical machinations.☆38Updated 3 months ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- ☆39Updated last month
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- ☆118Updated last year
- An interaction combinator runtime☆17Updated 5 months ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆169Updated this week
- An interactive theorem prover for string diagrams☆112Updated 4 months ago
- A probabilistic programming language based on pattern-rewriting☆81Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆22Updated last year
- Discussion of MeTTa programming with examples☆23Updated 2 months ago
- Catalog of visual lambda calculi☆109Updated last year
- Geometric algebra library for Rust☆22Updated 6 years ago
- WebGL library for mathematical physics using Geometric Algebra☆23Updated 5 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- A Rust/WASM implementation of homotopy.io☆94Updated last week
- A logic programming language that has features of both Datalog and answer set programming.☆112Updated last month
- Support repository for the T2-12 tile☆44Updated 10 months ago