daalft / PaliNLP2Links
PaliNLP reworked. Version 2.
☆15Updated 10 years ago
Alternatives and similar repositories for PaliNLP2
Users that are interested in PaliNLP2 are comparing it to the libraries listed below
Sorting:
- Grammatical Framework core: compiler, shell & runtimes☆145Updated last week
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated this week
- The MMT Language and System☆77Updated 2 months ago
- A formal logic framework that runs in the browser☆308Updated 11 months ago
- A collection of tools for processing PDF files in Haskell☆184Updated last year
- The Heterogeneous Tool Set☆59Updated last month
- types for representing structured documents☆119Updated last month
- Source material for Algebra-Driven Design☆154Updated 2 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Kan: A browser extension for reading nLab☆31Updated 7 years ago
- Transform a Folder into a Stack Template☆14Updated 2 years ago
- Community contributions to the Grammatical Framework☆62Updated last year
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated 2 weeks ago
- ☆92Updated 7 months ago
- Categorical Query Language IDE☆319Updated last month
- Modeling Ancient Greek Grammar☆51Updated 7 years ago
- Pāḷi Tipiṭaka and Pāḷi Dictionaries☆32Updated 6 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Functional teaching language for use in a discrete mathematics course☆171Updated 5 months ago
- Corydalis - photo library management helper and image viewer☆21Updated last week
- Learn Prolog Now LaTeX sources☆98Updated 3 years ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- bi-directional tangle daemon for literate programming☆94Updated 2 years ago
- IHaskell image for Jupyter Docker Stacks☆80Updated 2 weeks ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- ☆162Updated 10 years ago
- Formalization of category theory in Agda☆17Updated 2 years ago
- formally verified category theory library☆266Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆46Updated 2 years ago