GrammaticalFramework / gf-core
Grammatical Framework core: compiler, shell & runtimes
☆139Updated this week
Alternatives and similar repositories for gf-core:
Users that are interested in gf-core are comparing it to the libraries listed below
- Grammatical Framework's Resource Grammar Library (RGL)☆55Updated this week
- Community contributions to the Grammatical Framework☆61Updated 7 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- ☆123Updated 2 years ago
- A WordNet in GF☆25Updated this week
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆208Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- The Heterogeneous Tool Set☆58Updated last month
- Embeddable Lambda Prolog Interpreter☆303Updated last month
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Implementation of the λΠ-calculus modulo rewriting☆206Updated 3 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆374Updated last year
- Total Parser Combinators in Agda☆126Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 3 weeks ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Real number computation software☆123Updated 2 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆153Updated 10 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆113Updated last month
- Compiling Agda code to readable Haskell☆182Updated this week
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- A less devious proof assistant☆223Updated 2 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆96Updated 5 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆186Updated 8 months ago
- A continuation-based backtracking logic programming monad☆86Updated 4 months ago