An algebra for Matrix Expressions written in Maude
☆24Oct 23, 2012Updated 13 years ago
Alternatives and similar repositories for matrix-algebra
Users that are interested in matrix-algebra are comparing it to the libraries listed below
Sorting:
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 8 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Partial Commutative Monoids☆32Feb 18, 2026Updated 2 weeks ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Multinomials for the Mathematical Components library.☆16Updated this week
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- ☆15Jun 22, 2020Updated 5 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated last month
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated 5 months ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated last month
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated last month
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆45Jul 14, 2024Updated last year
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Assorted s-expression utilities for Julia☆16Feb 29, 2024Updated 2 years ago
- ☆34Oct 12, 2020Updated 5 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago