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)☆56Updated this week
- Community contributions to the Grammatical Framework☆61Updated 8 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- A WordNet in GF☆25Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- A continuation-based backtracking logic programming monad☆86Updated 4 months ago
- ☆123Updated 2 years ago
- The Heterogeneous Tool Set☆58Updated last month
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆374Updated last year
- Parser for Attempto Controlled English (ACE)☆196Updated 11 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆262Updated 6 months ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆186Updated 8 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- A new Categories library for Agda☆374Updated last week
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆208Updated 2 years ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Implementation of the λΠ-calculus modulo rewriting☆206Updated 4 months ago
- The Art of the Propagator. See also:☆172Updated 11 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆80Updated 8 years ago
- A less devious proof assistant☆223Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆304Updated this week
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- hyphen - access Haskell modules from Python☆96Updated 8 months ago
- CQL: Categorical Query Language implementation in Haskell☆169Updated last year
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆119Updated 10 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆21Updated 3 years ago
- Standard library for linear types in Haskell.☆342Updated 4 months ago