Rattlehead15 / Correlativas
Árbol de Correlativas de LCC
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Correlativas
- Licenciatura en Ciencias de la Computacion - UNR☆63Updated last month
- Repositorio de la optativa para la FCEIA☆16Updated 2 months ago
- Resumenes de la LCC☆12Updated 2 years ago
- A Gameboy/Color Emulator and API written in C++☆14Updated 2 years ago
- ☆21Updated 2 months ago
- Organizador de horarios de la Facultad de Ingenieria☆46Updated 3 months ago
- Final Snapshot Of God's Fourth Temple☆13Updated 2 years ago
- Sencillísima colección de repositorios de cualquier tipo de cursada en FIUBA (TPs/Parciales/Finales/etc)☆18Updated 2 months ago
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆130Updated 3 months ago
- 2022 - Repositorio de drives y clases grabadas. Los drives contienen resueltos, apuntes, etc. Analisis Matemático 2 FIUBA☆27Updated 5 months ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆60Updated 4 months ago
- Spartan type theory☆257Updated 5 months ago
- Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.☆219Updated 3 months ago
- An introduction to programming language theory in Agda☆1,372Updated this week
- A simple library for reporting compiler/interpreter errors☆260Updated 3 months ago
- Minimal implementations for dependent type checking and elaboration☆619Updated 2 months ago
- ☆142Updated 9 years ago
- Rejunte de Finales de [7507] Algoritmos y Programación 3 (Curso Fontela/Suarez) - FIUBA☆27Updated 3 years ago
- 2022 - Repositorio con drives, exámenes resueltos y clases grabadas de algebra. Los drives contienen parciales y finales resueltos, apunt…☆20Updated 9 months ago
- x86 C compiler written in untyped lambda calculus☆626Updated 2 years ago
- A fast functional language based on two level type theory☆388Updated last year
- HoTTEST Summer School materials☆289Updated last year
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆147Updated 2 months ago
- Ejercicios resueltos de la materia Modelos y Optimización I [71.14], Facultad de Ingeniería de la Universidad de Buenos Aires, 2020c2☆13Updated 2 years ago
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆54Updated last month
- A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")☆368Updated 2 months ago
- Demo for high-performance type theory elaboration☆520Updated last year
- Source Code from "Making Music with Haskell" video☆134Updated 4 years ago
- A little course to learn about some of the more obscure GHC extensions.☆638Updated last year