kowey / GenILinks
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
☆21Updated 10 years ago
Alternatives and similar repositories for GenI
Users that are interested in GenI are comparing it to the libraries listed below
Sorting:
- A type theory based theorem proving library☆25Updated 14 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- topos programming☆31Updated 6 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 5 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Playing around with multicategories and operads☆16Updated 10 years ago
- A simple development of linear logic in Coq.☆13Updated 5 months ago
- DIY Markov Chains.☆25Updated 9 months ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- Talk on generic parallel scan☆14Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 5 months ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Succinct vectors☆20Updated 6 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Web based opetopic editor☆35Updated 10 months ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Experimental Haskell bindings to Spark Datasets and DataFrames☆26Updated 8 years ago
- A simple XML module for Idris.☆13Updated 5 years ago
- hidden markov models in haskell☆34Updated 9 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago