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 13 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- Interactive-diagrams☆39Updated 10 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- Exercism exercises in Coq.☆18Updated 7 months ago
- Symbolic logic expressions☆14Updated 4 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A simple development of linear logic in Coq.☆13Updated 2 months ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- DIY Markov Chains.☆25Updated 6 months ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Web based opetopic editor☆35Updated 7 months ago