daalft / PaliNLP2Links
PaliNLP reworked. Version 2.
☆16Updated 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☆150Updated 2 months ago
- A formal logic framework that runs in the browser☆323Updated last year
- A collection of tools for processing PDF files in Haskell☆185Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Updated 11 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Source material for Algebra-Driven Design☆157Updated 2 years ago
- Static site generator built on Shake configured in Haskell☆220Updated 3 months ago
- Functional teaching language for use in a discrete mathematics course☆179Updated this week
- This project is to contain a listing of common theorems in elementary category theory.☆74Updated 5 years ago
- ☆94Updated 9 months ago
- A purely functional programming language with first class types☆61Updated 10 months ago
- IHaskell image for Jupyter Docker Stacks☆80Updated 3 months ago
- CQL: Categorical Query Language implementation in Haskell☆182Updated 2 years ago
- A continuation-based backtracking logic programming monad☆93Updated last year
- Normalization by Evaluation for Martin-Löf Type Theory☆131Updated last year
- A Haskell blog☆151Updated 4 months ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆32Updated 3 years ago
- Learn me a Haskell, finally. (And you can too!)☆48Updated last year
- Compiling Agda code to readable Haskell☆200Updated this week
- Haskell grammar for tree-sitter.☆177Updated 5 months ago
- Grammatical Framework's Resource Grammar Library (RGL)☆63Updated last month
- formally verified category theory library☆270Updated 5 years ago
- Agda interaction in vim☆136Updated 4 years ago
- Examples using dependent types for mathematical proofs at the type level☆14Updated 5 years ago
- The MMT Language and System☆79Updated 5 months ago
- Embeddable Lambda Prolog Interpreter☆337Updated 2 weeks ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆165Updated 4 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated this week
- The adventures of a Haskell compiler☆237Updated 3 months ago