GrammaticalFramework / GFLinks
Archive of monolithic GF repository until 2018-07-25
☆189Updated 6 years ago
Alternatives and similar repositories for GF
Users that are interested in GF are comparing it to the libraries listed below
Sorting:
- Community contributions to the Grammatical Framework☆60Updated 11 months ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated 3 weeks ago
- ☆65Updated 7 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated last month
- Dyna2 compiler and REPL☆146Updated 5 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Parser for Attempto Controlled English (ACE)☆197Updated last year
- A library of Natural Language Processing algorithms for Haskell.☆74Updated last year
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- An Open Encyclopedia of Proof Systems☆118Updated 2 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆180Updated 7 years ago
- Diagrams standard library☆140Updated last week
- Modeling Ancient Greek Grammar☆51Updated 7 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- The People's Refinement Logic☆229Updated 2 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- A collection of tools for processing PDF files in Haskell☆183Updated last year
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- GHC plugin that improves Haskell code's numerical stability☆193Updated 9 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆49Updated 4 months ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 3 weeks ago
- haskell neural network library☆112Updated 8 years ago
- Embedded domain-specific language for declarative vector graphics (wrapper package)☆211Updated 2 months ago
- Generate Haskell code from a type☆136Updated 4 months ago
- A library for building re-usable and composable SQL queries.☆104Updated 6 years ago