Alternatives and similar repositories for gf-rgl

Users that are interested in gf-rgl are comparing it to the libraries listed below

• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated 2 weeks ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆205Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 3 weeks ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 9 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆89Updated 3 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆79Updated 2 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆16Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆30Updated 8 years ago
• scott-fleischman / greek-grammar
  Modeling Ancient Greek Grammar
  ☆51Updated 7 years ago
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆119Updated 3 years ago