jff / TeLLer
TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.
☆17Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for TeLLer
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- TODO☆10Updated 9 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- ☆59Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 10 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- ☆29Updated 9 years ago
- ☆11Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- Logic for story telling!☆32Updated 6 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- miniKanren in OCaml☆31Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago