kowey / GenI
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
☆21Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for GenI
- hidden markov models in haskell☆34Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- ☆23Updated 9 years ago
- Succinct vectors☆20Updated 5 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last month
- ☆23Updated 7 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- TODO☆23Updated 9 years ago
- A simple development of linear logic in Coq.☆12Updated 2 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Semantic Version Control mk II.☆37Updated 4 years ago
- Streaming csv parser using cassava and pipes☆20Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago