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
  ☆15Updated 10 years ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 3 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 4 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated 2 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated 3 weeks ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆38Updated this week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆71Updated 9 months ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆29Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated this week
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated this week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆100Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• jpfairbanks / SemanticModels.jl
  A julia package for representing and manipulating model semantics
  ☆77Updated 5 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated 4 months ago
• AlgebraicJulia / CSetAutomorphisms.jl
  Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
  ☆14Updated last year
• davidar / stochaskell
  ☆13Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated 2 months ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated 4 months ago
• zxcalc / sample-projects
  Sample projects for Quantomatic
  ☆12Updated 5 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated this week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 6 months ago
• AlgebraicJulia / StockFlow.jl
  ☆69Updated this week