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
  ☆150Updated 3 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆63Updated 3 weeks ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated this week
• 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
  ☆190Updated 7 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆210Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 5 months ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆79Updated 7 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 9 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆58Updated 11 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆161Updated last year
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆79Updated 6 months ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆118Updated 11 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• vscosta / yap-6.3
  YAP Development release
  ☆17Updated 5 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 8 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 4 months ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• hhu-stups / prolog-jupyter-kernel
  A Jupyter kernel for Prolog
  ☆24Updated last year
• prologbyexample / code
  ☆31Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago