Alternatives and similar repositories for gf-core:

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

• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆54Updated last week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 6 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated last week
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆205Updated 2 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆193Updated 9 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated 11 months ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆117Updated 2 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆21Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• nadia-polikarpova / synquid
  ☆121Updated 2 years ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆371Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆298Updated last week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆201Updated 2 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 9 months ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆77Updated 10 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆163Updated 2 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated 2 months ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆126Updated 5 months ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆152Updated 9 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated last week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago