Alternatives and similar repositories for Correlativas

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

• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 7 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,469Updated this week
• rodrigogribeiro / apostila-discreta
  Material para Matemática Discreta
  ☆10Updated 9 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆317Updated 5 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆806Updated last year
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆672Updated 3 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,382Updated 7 months ago
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆933Updated 3 years ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆572Updated 2 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆355Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆742Updated 3 months ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆271Updated 2 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated 3 weeks ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆651Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆463Updated 4 years ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆274Updated this week
• agda / agda-stdlib
  The Agda standard library
  ☆633Updated this week
• comcomUBA / dcubabot
  ☆22Updated last year
• math-comp / math-comp
  Mathematical Components
  ☆656Updated this week
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆612Updated last year
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆658Updated 2 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆410Updated 2 weeks ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆516Updated last week
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,101Updated 3 weeks ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆593Updated 2 years ago