Alternatives and similar repositories for latreex

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

• mroman42 / mikrokosmos
  (λ) Educational lambda calculus interpreter
  ☆73Updated 4 years ago
• pouyakary / Nota
  A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering
  ☆60Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆41Updated 5 years ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆28Updated 2 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• agda-attic / agda-spec
  Specification of Agda.
  ☆25Updated 7 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆40Updated 4 years ago
• dorchard / co519-logic
  Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.
  ☆18Updated 5 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆39Updated 7 months ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆44Updated 5 years ago
• mroman42 / ctlc
  (λ) Category theory and lambda calculus, Bachelor's thesis
  ☆42Updated 7 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆60Updated last year
• gallais / thesis
  Syntaxes with Binding, Their Programs, and Proofs
  ☆23Updated 2 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated this week
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 4 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆17Updated 3 weeks ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆86Updated 4 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• jonsterling / sml-modernized-algol
  Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
  ☆15Updated 8 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆179Updated 3 weeks ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago