Alternatives and similar repositories for FQL:

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

• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years 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
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• IBM / datascienceontology
  Data Science Ontology
  ☆37Updated 6 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆39Updated 2 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated last month
• UniFormal / MMT
  The MMT Language and System
  ☆71Updated 8 months ago
• google / formal-ml
  ☆25Updated 3 years ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated last week
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆30Updated 2 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 8 months ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 9 months ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 4 months ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆52Updated last week
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 4 months ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆25Updated last year
• Philosophical-Language-Group / freetnil
  A community driven philosophical language
  ☆26Updated 4 years ago