GrammaticalFramework / gf-core

Related projects ⓘ

Alternatives and complementary repositories for gf-core

• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆52Updated this week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 3 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆54Updated 3 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆227Updated last year
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• nadia-polikarpova / synquid
  ☆119Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆151Updated 6 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 6 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆199Updated this week
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆187Updated 6 months ago
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆365Updated last year
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆27Updated 7 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆256Updated 2 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated 8 months ago
• LogicalContracts / LogicalEnglish
  ☆25Updated last month
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆204Updated 2 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated last week
• UniFormal / MMT
  The MMT Language and System
  ☆68Updated 3 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆111Updated last month
• ejgallego / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated last week
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year