Alternatives and similar repositories for Correlativas

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

• damianarielm / lcc
  Licenciatura en Ciencias de la Computacion - UNR
  ☆70Updated last year
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 9 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,479Updated 2 weeks ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• rodrigogribeiro / apostila-discreta
  Material para Matemática Discreta
  ☆10Updated 9 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆676Updated this week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆678Updated 3 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆642Updated this week
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆658Updated 2 years ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆575Updated 2 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,058Updated 6 months ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 5 years ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆753Updated 4 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• Mzk-Levi / texts
  ☆168Updated 10 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆273Updated 3 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆616Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆412Updated this week
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆268Updated last year
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆366Updated last week
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆929Updated 3 years ago
• comcomUBA / dcubabot
  ☆22Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆183Updated 3 months ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆884Updated last year
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆16Updated 3 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆304Updated this week