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:
- Succinct vectors☆20Updated 6 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- DIY Markov Chains.☆25Updated 9 months ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- fast clustering algorithms☆15Updated 6 years ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated last year
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Various type-aligned sequence data structures.☆21Updated 3 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- ☆40Updated 7 years ago
- Symbolic logic expressions☆14Updated 5 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- hidden markov models in haskell☆34Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Simple lambda prover☆24Updated 10 years ago