jff / TeLLerLinks
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
☆18Updated 9 years ago
Alternatives and similar repositories for TeLLer
Users that are interested in TeLLer are comparing it to the libraries listed below
Sorting:
- ☆60Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Explorations in relations and the algebra of programming☆17Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆23Updated 8 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Type theory in type theory☆16Updated 13 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- ☆29Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Braid representations in Haskell☆22Updated last year
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- ☆26Updated 10 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Wildfire "simulation" with co-state co-monads representing cellular automata☆10Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- ☆11Updated 10 years ago
- Markup language on top of Haskell☆12Updated 7 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- ☆21Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago