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 4 months ago
• damianarielm / lcc
  Licenciatura en Ciencias de la Computacion - UNR
  ☆63Updated 3 months ago
• IkerCanut / LCC
  Resumenes de la LCC
  ☆13Updated 3 years ago
• vmartinv / eldiego
  Short written algorithms, cheatsheet for ACM-ICPC
  ☆66Updated 5 years ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆635Updated 2 years ago
• allkern / Geebly
  A Gameboy/Color Emulator and API written in C++
  ☆14Updated 2 years ago
• comcomUBA / dcubabot
  ☆21Updated 4 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆291Updated this week
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆59Updated 6 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆353Updated this week
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆261Updated 7 months ago
• math-comp / math-comp
  Mathematical Components
  ☆595Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆295Updated last year
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆261Updated 5 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆398Updated this week
• UniMath / agda-unimath
  The agda-unimath library
  ☆229Updated last week
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆313Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆291Updated 11 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆763Updated 11 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆159Updated last year
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆581Updated 2 months ago
• wilitp / Discreta2
  Notas y demostraciones pasadas en limpio para el teórico de Matemática Discreta 2
  ☆10Updated 8 months ago
• ccz181078 / Coq-BB5
  ☆165Updated last month
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆180Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆625Updated 4 months ago
• soupi / rfc
  My slides and compilation of resources.
  ☆150Updated 4 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 5 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆215Updated last month
• lbiedma / anfamaf2022
  Repositorio de los Laboratorios de Análisis Numérico / Análisis Numérico I de FAMAF, UNC.
  ☆16Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week