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
  ☆16Updated 2 months ago
• damianarielm / lcc
  Licenciatura en Ciencias de la Computacion - UNR
  ☆68Updated 8 months ago
• comcomUBA / dcubabot
  ☆22Updated 9 months ago
• vmartinv / eldiego
  Short written algorithms, cheatsheet for ACM-ICPC
  ☆67Updated 5 years ago
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆16Updated 2 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆788Updated last year
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated 11 months ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆267Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆374Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,435Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆337Updated this week
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆594Updated 7 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆678Updated 3 weeks ago
• math-comp / math-comp
  Mathematical Components
  ☆629Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last month
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,061Updated 2 months ago
• IkerCanut / LCC
  Resumenes de la LCC
  ☆12Updated 3 years ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• 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…
  ☆44Updated 3 months ago
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆419Updated last week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆356Updated 9 months ago
• Erawaa / MessiScriptInterpreter
  Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.
  ☆246Updated 10 months ago
• franciscod / campus-fetch
  ☆12Updated 2 months ago
• mhunicken / icpc-team-notebook-el-vasito
  Team notebook for ICPC. Team "UNC - Gracias Demetrio".
  ☆187Updated 2 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆186Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆257Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆491Updated this week