GrammaticalFramework / gf-rgl
Grammatical Framework's Resource Grammar Library (RGL)
☆52Updated this week
Related projects ⓘ
Alternatives and complementary repositories for gf-rgl
- Grammatical Framework core: compiler, shell & runtimes☆131Updated last week
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- A WordNet in GF☆24Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- The Heterogeneous Tool Set☆57Updated 2 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A rule engine based on Attempto Controlled English☆18Updated last week
- Tools for the 3rd edition of the Constraint Grammar formalism.☆20Updated last month
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 5 years ago
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago
- Interactive POetry Editor☆27Updated 3 years ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 7 months ago
- Parser for Attempto Controlled English (ACE)☆187Updated 6 months ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- Kanren with databases☆43Updated 3 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated last year
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago