tadp-utn-frba / tadp-clasesLinks
Clases de la materia de Técnicas Avanzadas de Programación
☆23Updated this week
Alternatives and similar repositories for tadp-clases
Users that are interested in tadp-clases are comparing it to the libraries listed below
Sorting:
- TypeScript based Wollok language implementation☆21Updated this week
- Universal, Multi Language, Multi Paradigm code analyzer☆126Updated 2 months ago
- ☆15Updated 4 years ago
- Guía para setear un proyecto básico en VSCode en C, para la materia de Sistemas Operativos☆24Updated 5 years ago
- Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at…☆17Updated 3 months ago
- ☆23Updated 7 months ago
- Automation to get information and available public resources from the UBA's Virtual Campus.☆13Updated 2 years ago
- ☆28Updated 5 years ago
- Investigacion Operativa 2022 - UTN FRBA - Ingenieria Industrial - Repositorio con casos de estudio y ejercicios en python☆32Updated 2 years ago
- Material de estudio para Algoritmos y Estructuras de Datos III / Técnicas de Diseño de Algoritmos de FCEyN, UBA.☆28Updated 3 weeks ago
- Foro de consultas para el trabajo práctico☆162Updated last month
- ☆10Updated 8 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- Prácticas de la asignatura Criptografía y Computación - Grado en Ingeniería Informática (UGR)☆16Updated 8 years ago
- Repositorio donde guardaremos las cosas que necesitemos para la cursada del miércoles a la noche, curso original☆36Updated last week
- My master thesis about generic programming and ornaments☆16Updated 9 years ago
- Ejemplos de la teoría utilizados durante las clases☆20Updated 3 years ago
- TADs de uso común en aplicaciones desarrolladas en C☆107Updated last month
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆148Updated 2 months ago
- ☆12Updated 6 years ago
- A Haskell library making it easier to write Alex lexers.☆12Updated last month
- Compiler for IMP programming language implemented in Haskell☆16Updated 5 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Override instances used by Haskell's generic derivation☆31Updated 3 years ago
- Formalization of Linear Logic☆10Updated 8 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Updated 7 years ago
- Un reconto de contenidos teóricos de Sistemas Operativos, materia de 3° año de la carrera Ingeniería en Sistemas de Información, UTN FRBA…☆21Updated 3 years ago
- Exámenes de programación funcional con Haskell☆10Updated 2 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago