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
  ☆145Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆208Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 9 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated last month
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆98Updated 3 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆119Updated 3 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 6 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 2 months 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
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆136Updated 3 weeks ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆157Updated last year
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• clf / celf
  ☆62Updated 6 years ago
• dmort27 / HsSPE
  Haskell phonology library.
  ☆10Updated 13 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆37Updated 7 years ago