Alternatives and similar repositories for FQL:

Users that are interested in FQL are comparing it to the libraries listed below

• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆20Updated 5 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 3 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 3 weeks ago
• ontohub / ontohub
  A web-based repository for distributed ontologies.
  ☆32Updated 7 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated 6 months ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 3 months ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• davidar / stochaskell
  ☆13Updated 2 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated 2 weeks ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 7 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆44Updated last month
• statusfailed / numeric-optics-python
  ☆24Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• aindilis / flp
  The Free Life Planner Reference Manual
  ☆11Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆50Updated 3 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 2 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• Herb-AI / HerbSWIPL.jl
  Julia wrapper around SWI Prolog
  ☆13Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆19Updated 2 months ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆34Updated 4 months ago