Alternatives and similar repositories for graphrel

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

• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆199Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• rkirsling / modallogic
  Modal Logic Playground
  ☆372Updated last year
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• carneades / carneades-4
  Version 4 of Carneades, implemented in Go
  ☆51Updated 9 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆112Updated last week
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆72Updated 6 months ago
• opencog / relex
  English Dependency Relationship Extractor
  ☆85Updated 7 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated this week
• ontopia / ontopia
  The open source tools for building, maintaining and deploying Topic Maps-based applications.
  ☆57Updated last month
• flashpixx / RRD-ANTLR4
  AntLR 4 Railroad Diagram Generator
  ☆23Updated 3 weeks ago
• icgw / FCA-Map
  Ontology matching system based on formal concept analysis
  ☆35Updated 4 years ago
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆147Updated last month
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated 2 weeks ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated this week
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆38Updated 3 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆49Updated last month
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆11Updated 5 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆55Updated this week
• nchah / freebase-mql
  A review of the deprecated Freebase knowledge base and Metaweb Query Language (MQL). A brief comparison of MQL and GraphQL.
  ☆41Updated 8 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• LOD-Laundromat / LOD-Laundromat
  Cleaning other people's dirty data.
  ☆53Updated 4 years ago
• NetLogo / Galapagos
  NetLogo model simulation visualizer (Beak) and the netlogoweb.org website 🐢
  ☆62Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated this week
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• oasis-tcs / legalruleml
  OASIS LegalRuleML TC: GitHub repository for developing and distributing good examples in order to share knowledge about the correct appli…
  ☆34Updated 5 years ago