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

  View on GitHub
  TypeScript based Wollok language implementation
  ☆23Jan 15, 2026Updated last month
• dds-utn / links-utiles

  View on GitHub
  ☆24Mar 13, 2018Updated 7 years ago
• dariokozicki / utnso-vscode

  View on GitHub
  Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos
  ☆24Sep 7, 2020Updated 5 years ago
• 10Pines / pdepreludat

  View on GitHub
  ☆22Apr 1, 2025Updated 10 months ago
• sisoputnfrba / so-exercises

  View on GitHub
  Ejercicios de C para el TP de Sistemas Operativos
  ☆32Sep 10, 2023Updated 2 years ago
• PGP-MachineLearning / demoIA

  View on GitHub
  Ejemplos de implementación de Algoritmos de Inducción, Algoritmos Genéticos y RNA Multi-Perceptrón BackPropagation en Google Colab
  ☆17Jul 29, 2025Updated 6 months ago
• mumuki / mulang

  View on GitHub
  Universal, Multi Language, Multi Paradigm code analyzer
  ☆125Aug 25, 2025Updated 5 months ago
• dds-jv / foro

  View on GitHub
  ☆15Aug 14, 2021Updated 4 years ago
• mumuki / cspec

  View on GitHub
  Small BDD framework for C/C++
  ☆104Sep 4, 2022Updated 3 years ago
• sisoputnfrba / ejemplos-teoria

  View on GitHub
  Ejemplos de la teoría utilizados durante las clases
  ☆20Sep 15, 2022Updated 3 years ago
• uqbar-project / wollok

  View on GitHub
  Wollok Programming Language
  ☆59Feb 18, 2022Updated 3 years ago
• jlsuh / utn-flowchart

  View on GitHub
  Un generador de digrafos de planes de estudio de la Universidad Tecnológica Nacional.
  ☆11Dec 7, 2024Updated last year
• pablomatiasgomez / utn.ba-helper

  View on GitHub
  A Chrome extension that makes navigating and using the UTN.BA - FRBA website easier.
  ☆49Feb 9, 2026Updated last week
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• sisoputnfrba / so-commons-library

  View on GitHub
  TADs de uso común en aplicaciones desarrolladas en C
  ☆108Jan 2, 2026Updated last month
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• vt-elixir / interactor

  View on GitHub
  Interactor provides an opinionated interface for performing complex user interactions.
  ☆11Nov 16, 2017Updated 8 years ago
• fpco / haskell-multi-docker-example

  View on GitHub
  ☆15Aug 27, 2018Updated 7 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• mratsim / haskell-numbertheory

  View on GitHub
  Exploration of primes, factorization and number theory through haskell
  ☆10Oct 10, 2016Updated 9 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• mattbierner / blog.mattbierner.com

  View on GitHub
  blog.mattbierner.com
  ☆10Jul 4, 2024Updated last year
• argent0 / haskell-ml-benchmark

  View on GitHub
  Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
  ☆10Jul 25, 2016Updated 9 years ago
• icicle-lang / jetski-ambiata

  View on GitHub
  Runtime compilation and invocation of C.
  ☆10Mar 25, 2019Updated 6 years ago
• prowdsponsor / ig

  View on GitHub
  Bindings to Instagram's API
  ☆11Feb 19, 2018Updated 7 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• jaalonso / Examenes_de_PF_con_Haskell

  View on GitHub
  Exámenes de programación funcional con Haskell
  ☆10Jun 18, 2023Updated 2 years ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Mar 21, 2017Updated 8 years ago
• lpalmes / bs-material-ui

  View on GitHub
  Material UI bindings for Reason
  ☆11Nov 2, 2017Updated 8 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• CoqHott / Program-translations-CC-omega

  View on GitHub
  ☆14Nov 23, 2016Updated 9 years ago
• brunofx86 / LL

  View on GitHub
  Formalization of Linear Logic
  ☆11Jun 25, 2017Updated 8 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago