Alternatives and similar repositories for ctlc

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

• mroman42 / mikrokosmos
  (λ) Educational lambda calculus interpreter
  ☆73Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 2 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• UniMath / Schools
  ☆93Updated 8 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆131Updated 5 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆79Updated 3 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 5 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆34Updated 5 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 weeks ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆84Updated 9 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆40Updated 3 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 3 weeks ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆134Updated last year
• agda / agda-pkg
  apkg - package manager for Agda
  ☆38Updated 4 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆38Updated last week
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆42Updated 2 weeks ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆58Updated last year
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 2 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆38Updated 5 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 7 months ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆28Updated 7 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated 2 weeks ago