Alternatives and similar repositories for TeLLer

Users that are interested in TeLLer are comparing it to the libraries listed below

• clf / celf
  ☆62Updated 6 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated last year
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆36Updated 7 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• ISANobody / sill
  ☆29Updated 10 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 weeks ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 7 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆48Updated 5 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆31Updated 2 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• sto0pkid / swipl-tt
  Implementation of dependent type theory in SWI-Prolog
  ☆10Updated 5 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 8 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆32Updated 11 years ago
• david-christiansen / tt-playground
  A playground for type theory implementations in Racket
  ☆20Updated 10 years ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 10 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 7 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 11 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆16Updated 6 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago