Alternatives and similar repositories for Correlativas:

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

• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 6 months ago
• damianarielm / lcc
  Licenciatura en Ciencias de la Computacion - UNR
  ☆65Updated 5 months ago
• IkerCanut / LCC
  Resumenes de la LCC
  ☆13Updated 3 years ago
• comcomUBA / dcubabot
  ☆22Updated 7 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• agda / agda-stdlib
  The Agda standard library
  ☆607Updated this week
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆16Updated 2 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆247Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• agda / cubical
  An experimental library for Cubical Agda
  ☆475Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆315Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆591Updated 4 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆652Updated 2 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,416Updated last week
• augustss / MicroHs
  Haskell implemented with combinators
  ☆458Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated last week
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆413Updated last week
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 3 months ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆430Updated this week
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆252Updated last week
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆375Updated this week
• math-comp / math-comp
  Mathematical Components
  ☆607Updated this week
• aitorres / firelink
  Fire Link es un lenguaje de programación basado en el lore de la serie de videojuegos Dark Souls, diseñado para la cadena de electivas de…
  ☆12Updated 4 years ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆214Updated this week
• bcardiff / dc-tex
  Recursos LaTeX para el Departamento de Computación de FCEyN UBA (DC, Exactas, UBA)
  ☆25Updated last year
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆774Updated last year