Rattlehead15 / CorrelativasLinks
Árbol de Correlativas de LCC
☆11Updated 2 years ago
Alternatives and similar repositories for Correlativas
Users that are interested in Correlativas are comparing it to the libraries listed below
Sorting:
- Licenciatura en Ciencias de la Computacion - UNR☆68Updated 8 months ago
- Repositorio de la optativa para la FCEIA☆16Updated last month
- Resumenes de la LCC☆12Updated 3 years ago
- A Gameboy/Color Emulator and API written in C++☆16Updated 2 years ago
- Short written algorithms, cheatsheet for ACM-ICPC☆67Updated 5 years ago
- ☆22Updated 9 months ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆61Updated 11 months ago
- Notas y demostraciones pasadas en limpio para el teórico de Matemática Discreta 2☆9Updated last year
- Lógica y computabilidad - UBA FCEN - Verano 2021☆11Updated 2 years ago
- Team notebook for ICPC. Team "UNC - Gracias Demetrio".☆185Updated last month
- Repositorio de los Laboratorios de Análisis Numérico / Análisis Numérico I de FAMAF, UNC.☆16Updated 2 years ago
- Exámenes viejos de materias de la carrera de Ciencias de la Computación de FAMAF☆191Updated this week
- ☆15Updated 3 weeks ago
- ☆19Updated last year
- Turing Language☆195Updated 10 months ago
- This is a repository for Data Struct and Algorithms 2 // Lab☆9Updated last year
- 2022 - Repositorio con drives, exámenes resueltos y clases grabadas de algebra. Los drives contienen parciales y finales resueltos, apunt…☆26Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆372Updated this week
- An interpreter for learning and exploring pure λ-calculus☆462Updated 4 years ago
- ☆11Updated 10 months ago
- papers of Per Martin Löf☆782Updated last year
- A garden of small programming language implementations 🪴☆245Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.☆244Updated 10 months ago
- x86 C compiler written in untyped lambda calculus☆658Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆334Updated this week
- Libros, apuntes, resumenes y recursos de la carrera de Ciencias de la Computación y Matemática Aplicada de FAMAF☆53Updated 2 weeks ago
- Introducción a las APIs☆12Updated last year
- Técnicas Avanzadas de Diseño de Sotware☆13Updated this week
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆59Updated 5 months ago