GrammaticalFramework / gf-contrib

Related projects ⓘ

Alternatives and complementary repositories for gf-contrib

• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆52Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated 2 weeks ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 2 weeks ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆54Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 7 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• prologbyexample / code
  ☆27Updated last year
• clf / celf
  ☆59Updated 5 years ago
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 9 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago