GrammaticalFramework / gf-rglLinks
Grammatical Framework's Resource Grammar Library (RGL)
☆57Updated 2 weeks ago
Alternatives and similar repositories for gf-rgl
Users that are interested in gf-rgl are comparing it to the libraries listed below
Sorting:
- Grammatical Framework core: compiler, shell & runtimes☆140Updated 2 weeks ago
- Community contributions to the Grammatical Framework☆60Updated 10 months ago
- A WordNet in GF☆26Updated this week
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 6 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Real number computation software☆124Updated 2 years ago
- Web based opetopic editor☆35Updated 7 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- higher order dependently typed logic programing☆171Updated 6 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated last month
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- The Heterogeneous Tool Set☆58Updated 4 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Categorical logic from a categorical point of view☆78Updated last year
- Probabilistic computation in Idris☆34Updated 5 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆42Updated this week
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 9 years ago
- Unsupervised multilingual sentence segmentation.☆21Updated 4 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 3 years ago
- The MMT Language and System☆74Updated 10 months ago
- HoTT in Lean 3☆80Updated 4 years ago