comcomUBA / dcubabotLinks
☆22Updated this week
Alternatives and similar repositories for dcubabot
Users that are interested in dcubabot are comparing it to the libraries listed below
Sorting:
- ☆15Updated last month
- El lenguaje de programación más boludo del mundo.☆50Updated 5 years ago
- Repositorio de la optativa para la FCEIA☆14Updated 10 months ago
- Licenciatura en Ciencias de la Computacion - UNR☆70Updated last year
- Árbol de Correlativas de LCC☆10Updated 3 years ago
- Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.☆253Updated last year
- ☆22Updated 10 months ago
- Organizador de horarios de la Facultad de Ingenieria☆52Updated last month
- ☆356Updated 4 months ago
- Jelly is a recreational programming language inspired by J.☆904Updated 5 years ago
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆56Updated last year
- Recursos LaTeX para el Departamento de Computación de FCEyN UBA (DC, Exactas, UBA)☆28Updated 2 years ago
- Traducción al español de la 2° edición del libro "Structure and Interpretation of Computer Programs" (SICP).☆150Updated 3 years ago
- strongly-timed musical programming language☆573Updated 11 months ago
- Metamath source file for logic and set theory☆302Updated this week
- Lunfardo es un lenguaje de programación esotérico basado en el lunfardo argentino☆83Updated 3 weeks ago
- A two-dimensional, hexagonal programming language.☆573Updated 4 years ago
- A script to scrap housing listings sites☆92Updated last year
- The collected works of F. W. Lawvere☆371Updated last year
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆152Updated 6 months ago
- papers of Per Martin Löf☆809Updated 2 years ago
- ☆93Updated 7 years ago
- Learn you a Haskell (Spanish translation)☆60Updated 4 years ago
- CheLang es un lenguaje de programación esotérico argento. Ni más, ni menos. Es la que va.☆413Updated 3 weeks ago
- An interpreter for learning and exploring pure λ-calculus☆467Updated 4 years ago
- x86 C compiler written in untyped lambda calculus☆680Updated 3 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated last week
- The Principia Rewrite☆229Updated 2 months ago
- ☆286Updated 3 years ago
- 📚📚Resúmenes de varias materias para la carrera de Licenciatura en Análisis de Sistemas de la UBA☆64Updated 6 years ago