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: ⓘ
- Polynomial semantics of linear logic☆13Updated 6 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆20Updated 2 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- ☆28Updated 9 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated last week
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Dependently-typed structures for quantum physics in Idris☆13Updated 8 years ago
- The Zenon theorem prover☆14Updated last year
- ☆11Updated 9 years ago
- Explorations in relations and the algebra of programming☆17Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆36Updated 5 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Experiments in abstracting definitional interpreters☆16Updated 6 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆31Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Logic for story telling!☆29Updated 6 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- Practical Specification of Belief Manipulation in Games☆31Updated 6 years ago
- First-order automated theorem prover based on the tableau method☆11Updated this week
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago