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 8 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆675Updated 3 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,474Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆297Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆463Updated 4 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆357Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆406Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆615Updated last year
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,362Updated 2 weeks ago
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆16Updated 3 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆271Updated 3 months ago
• math-comp / math-comp
  Mathematical Components
  ☆662Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆369Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 6 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆747Updated 4 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,083Updated last month
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• augustss / MicroHs
  Haskell implemented with combinators
  ☆661Updated this week
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆11Updated 2 years ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆572Updated 2 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆163Updated 5 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆278Updated last week
• Mzk-Levi / texts
  ☆162Updated 10 years ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆520Updated 2 weeks ago
• agda / agda-stdlib
  The Agda standard library
  ☆637Updated this week
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,122Updated 3 weeks ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated last year