CategoricalData / FQL
Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for FQL
- A JavaScript-based interface for graph traversal☆18Updated last year
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- A web-based repository for distributed ontologies.☆32Updated 7 years ago
- Data Science Ontology☆36Updated 2 months ago
- A WordNet in GF☆25Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated last week
- ACT community resources☆19Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- ☆23Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated this week
- The Heterogeneous Tool Set☆57Updated 2 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Simplicial sets and other combinatorial models of geometric spaces☆31Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆27Updated last week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- The MMT Language and System☆68Updated 4 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- Maturity Model for the Enterprise Knowledge Graph☆13Updated 6 months ago
- Source of metamath book☆45Updated 11 months ago
- Relational Algebra, now with more algebra!☆47Updated 3 weeks ago
- Community contributions to the Grammatical Framework☆60Updated 4 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Build Petri net models compositionally☆76Updated 3 weeks ago