GrammaticalFramework / gf-rglView external linksLinks
Grammatical Framework's Resource Grammar Library (RGL)
☆63Jan 8, 2026Updated last month
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☆150Nov 13, 2025Updated 3 months ago
- Community contributions to the Grammatical Framework☆63Jan 22, 2026Updated 3 weeks ago
- A WordNet in GF☆28Updated this week
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Sep 5, 2021Updated 4 years ago
- POC CVE-2019-0708 with python script!☆14Jun 24, 2019Updated 6 years ago
- Archive of monolithic GF repository until 2018-07-25☆190Jul 25, 2018Updated 7 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Integration between Reaction ECommerce and Accelerated Text to provide product descriptions for an e-shop.☆13Feb 22, 2021Updated 4 years ago
- Describe Toki Pona using Grammatical Framework☆11Jun 5, 2020Updated 5 years ago
- rust edition☆10Apr 28, 2024Updated last year
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 4 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆25Mar 27, 2015Updated 10 years ago
- Pandoc filter to use Wikidata as reference manager☆19Nov 15, 2020Updated 5 years ago
- Search back-end for dependency tree search. See the docs at https://fginter.github.io/dep_search/☆17Apr 11, 2018Updated 7 years ago
- ☆12Aug 20, 2021Updated 4 years ago
- An efficient finite map from (byte)strings to values.☆20May 1, 2025Updated 9 months ago
- programming language that can compiled to any languages☆14Apr 11, 2021Updated 4 years ago
- Parser for Attempto Controlled English (ACE)☆210Apr 21, 2024Updated last year
- Generic functions for single-sorted first-order structural unification☆45May 1, 2025Updated 9 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 2 months ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆24Feb 25, 2022Updated 3 years ago
- Jupyter + Sphinx Utilities and Tools☆21May 10, 2020Updated 5 years ago
- Compiler that has been integrated into Okami now☆24Jul 15, 2022Updated 3 years ago
- Large lexicon for APE (~100,000 entries)☆30Nov 5, 2018Updated 7 years ago
- ☆10Mar 7, 2023Updated 2 years ago
- Examples from my book "Scripting Intelligence: Web 3.0 Information Gathering and Processing"☆45Oct 13, 2025Updated 4 months ago
- The Arborator software is aimed at collaboratively annotating dependency corpora.☆26Nov 5, 2019Updated 6 years ago
- The MMT Language and System☆79Sep 7, 2025Updated 5 months ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- 🎒 Backpack interface for containers☆32Nov 6, 2020Updated 5 years ago
- ☆61Dec 2, 2017Updated 8 years ago
- OpenCCG library for parsing and realization with CCG☆217Feb 3, 2021Updated 5 years ago
- Master repo for the UniMorph project, includes the UniMorph schema and annotated data files☆33Oct 26, 2019Updated 6 years ago
- Material extra☆14Dec 6, 2017Updated 8 years ago
- Strip out TS definitions and syntax from your WHOLE project. Mostly useful for creating js examples☆21Updated this week
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last week
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆27Dec 12, 2025Updated 2 months ago