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
  ☆63Updated 4 months ago
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 5 months ago
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆16Updated 2 years ago
• IkerCanut / LCC
  Resumenes de la LCC
  ☆13Updated 3 years ago
• comcomUBA / dcubabot
  ☆22Updated 5 months ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 7 months ago
• vmartinv / eldiego
  Short written algorithms, cheatsheet for ACM-ICPC
  ☆66Updated 5 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• soupi / haskell-study-plan
  An opinionated list of resources for learning Haskell
  ☆891Updated 2 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆160Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,107Updated 2 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,408Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆359Updated this week
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆767Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆639Updated 3 weeks ago
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆538Updated last year
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆304Updated this week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆640Updated 2 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆262Updated 8 months ago
• ccz181078 / Coq-BB5
  ☆186Updated last week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• pablomatiasgomez / utn.ba-helper
  Extensión para Google Chrome que facilita el uso de la web de la UTN - FRBA.
  ☆32Updated 3 weeks ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆618Updated last year
• gianzamboni / plp-Verano
  Apuntes y practicas resueltas de Paradigmas de Lenguajes de Programación (DC FCyEN UBA)
  ☆13Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆451Updated 3 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆203Updated last week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated 10 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆605Updated last week
• luisbustamante097 / language-tad-aed2
  Sintaxis de TADs para AED2 de FCEN-UBA para Atom
  ☆13Updated 3 years ago