Rattlehead15 / Correlativas
Árbol de Correlativas de LCC
☆11Updated 2 years ago
Related projects: ⓘ
- Licenciatura en Ciencias de la Computacion - UNR☆62Updated 5 months ago
- Repositorio de la optativa para la FCEIA☆15Updated 2 weeks ago
- ☆21Updated 2 weeks ago
- Short written algorithms, cheatsheet for ACM-ICPC☆67Updated 4 years ago
- Notas y demostraciones pasadas en limpio para el teórico de Matemática Discreta 2☆10Updated 4 months ago
- A Gameboy/Color Emulator and API written in C++☆14Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆334Updated this week
- HoTTEST Summer School materials☆283Updated 11 months ago
- Organizador de horarios de la Facultad de Ingenieria☆46Updated last month
- Team notebook for ICPC. Team "UNC - Gracias Demetrio".☆177Updated last month
- papers of Per Martin Löf☆746Updated 7 months ago
- An interpreter for learning and exploring pure λ-calculus☆448Updated 3 years ago
- ☆17Updated 2 months ago
- Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.☆182Updated last month
- An introduction to programming language theory in Agda☆1,355Updated this week
- ☆19Updated 2 years ago
- Minimal implementations for dependent type checking and elaboration☆600Updated this week
- A little course to learn about some of the more obscure GHC extensions.☆637Updated 10 months ago
- Proyecto final Algoritmia y Programación Estructurada 2016☆17Updated 7 years ago
- ☆23Updated 2 months ago
- A formal logic framework that runs in the browser☆269Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- Haskell implemented with combinators☆325Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆278Updated 7 months ago
- ☆151Updated 2 weeks ago
- Demo for high-performance type theory elaboration☆516Updated 10 months ago
- Exámenes viejos de materias de la carrera de Ciencias de la Computación de FaMAF☆151Updated 3 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆268Updated 3 weeks ago
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆50Updated 3 weeks ago
- An opinionated list of resources for learning Haskell☆865Updated 2 years ago