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 this week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 7 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 weeks ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• nadia-polikarpova / synquid
  ☆121Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆206Updated 2 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆194Updated 9 months ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆258Updated 5 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆152Updated 9 months 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
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆301Updated this week
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆62Updated 10 months ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆371Updated last year
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆113Updated 2 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated this week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆56Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated 2 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆201Updated 2 months ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆185Updated 7 months ago