jff / TeLLer
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
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Polynomial semantics of linear logic☆13Updated 7 years ago
- Category Theory in Agda☆13Updated 7 years ago
- Type theory in type theory☆16Updated 13 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago
- A string diagram generator for LaTeX.☆26Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- TODO☆10Updated 9 years ago
- Logic for story telling!☆34Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Web based opetopic editor☆35Updated 6 months ago
- Observational Type Theory as an Agda library☆53Updated 7 years ago
- Deciding Presburger arithmetic in agda☆31Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Cohesive type theory☆19Updated 3 years ago