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
  ☆146Updated last month
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated last 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
  ☆189Updated 7 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆209Updated last year
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 6 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 6 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• amnh / PCG
  𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search
  ☆31Updated 3 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 2 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆160Updated last year
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆120Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• scott-fleischman / greek-grammar
  Modeling Ancient Greek Grammar
  ☆51Updated 7 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
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 9 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆176Updated 3 weeks ago
• hfst / hfst
  Helsinki Finite-State Technology (library and application suite)
  ☆136Updated 2 months ago