Alternatives and similar repositories for tadp-clases

Users that are interested in tadp-clases are comparing it to the libraries listed below

• uqbar-project / wollok-ts
  TypeScript based Wollok language implementation
  ☆21Updated last week
• mumuki / mulang
  Universal, Multi Language, Multi Paradigm code analyzer
  ☆125Updated 3 months ago
• paula-m-alvarez / CodearEnEsp
  ☆28Updated 5 years ago
• dds-jv / foro
  ☆15Updated 4 years ago
• paigenorth / ECI2025
  Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…
  ☆17Updated 4 months ago
• dariokozicki / utnso-vscode
  Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos
  ☆24Updated 5 years ago
• 10Pines / pdepreludat
  ☆23Updated 8 months ago
• Lzok / scrapuba
  Automation to get information and available public resources from the UBA's Virtual Campus.
  ☆13Updated 2 years ago
• uqbar-project / wollok
  Wollok Programming Language
  ☆59Updated 3 years ago
• mumuki / cspec
  Small BDD framework for C/C++
  ☆104Updated 3 years ago
• fedelebron / algo3
  Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.
  ☆30Updated this week
• sisoputnfrba / foro
  Foro de consultas para el trabajo práctico
  ☆164Updated last month
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 5 years ago
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Updated last year
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 6 years ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 6 years ago
• A1kmm / http4idris
  An experimental HTTP framework for Idris
  ☆14Updated 5 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 5 years ago
• KarmaPulse / git-commit-message-conventions
  Convenciones para la redacción de mensajes de commits en KarmaPulse.
  ☆32Updated 9 years ago
• volodeyka / trust-coq
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Updated 4 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• jyp / sctt
  Type-Theory in Sequent Calculus
  ☆14Updated 10 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated 3 months ago
• eduardofierropro / Portafolio-y-CV
  Este es el repositorio para el vídeo de la Masterclas sobre preparar el perfil de LinkedIn y GIthub como desarrollador web
  ☆63Updated 2 years ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated 2 years ago
• argob / cuidar-android
  App Cuidar
  ☆73Updated 5 years ago
• CoqHott / Program-translations-CC-omega
  ☆14Updated 9 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• michaelsproul / dblib-linear
  Formalisation of the linear lambda calculus in Coq
  ☆10Updated 7 years ago