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
  ☆65Updated 6 months ago
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 weeks ago
• comcomUBA / dcubabot
  ☆22Updated 7 months ago
• CxrlosKenobi / udecursos
  Open-Source & Full-Stack web-app that allows students to visualize their degree's courses on a reactive and interactive way.
  ☆19Updated 2 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆323Updated last week
• wilitp / Discreta2
  Notas y demostraciones pasadas en limpio para el teórico de Matemática Discreta 2
  ☆9Updated 11 months ago
• yagopajarino / uba-algebraI
  Material de Algebra I - Ciencias de la Computación, FCEN, UBA
  ☆59Updated 4 months ago
• unlp-so / shell-scripts
  Scripts de ejemplo para la explicación de práctica 3: Shell scripting
  ☆29Updated last year
• Erawaa / MessiScriptInterpreter
  Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.
  ☆243Updated 8 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated last week
• fedeaar / aed3-practicas
  ☆19Updated last year
• qriollo / qriollo
  El lenguaje de programación más boludo del mundo.
  ☆50Updated 4 years ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,417Updated 2 weeks ago
• IkerCanut / LCC
  Resumenes de la LCC
  ☆13Updated 3 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆776Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆657Updated 3 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆263Updated 11 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆292Updated last year
• gwolf / sistop
  Fundamentos de sistemas operativos
  ☆72Updated 3 weeks ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 9 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆368Updated 3 months ago
• rodrigogribeiro / apostila-discreta
  Material para Matemática Discreta
  ☆9Updated 8 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆183Updated this week
• r-argentina-programa / introduccion-a-js
  ☆264Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆139Updated this week
• fedehc / SICP-ES
  Traducción al español de la 2° edición del libro "Structure and Interpretation of Computer Programs" (SICP).
  ☆121Updated 2 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆610Updated this week
• lucasromerodb / impuestito-extension
  Muestra el precio final de los juegos con los impuestos incluidos y está soportado en las tiendas web de Xbox, PlayStation, Nintendo, Epi…
  ☆42Updated last month
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆518Updated 2 months ago