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:
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 6 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- DIY Markov Chains.☆25Updated 10 months ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Talk on generic parallel scan☆14Updated 8 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
- fast clustering algorithms☆15Updated 6 years ago
- Succinct vectors☆20Updated 6 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 10 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Symbolic logic expressions☆14Updated 5 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated 2 weeks ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Real-time collaborative editing with Operational Transformation☆40Updated last year
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 6 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- ☆21Updated 3 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago