solucaoUN / Introduccion-a-la-teoria-de-la-computacionLinks
Solucionario a las notas de Introducción a la teoría de la computación de Rodrigo de Castro Korgi
☆25Updated last year
Alternatives and similar repositories for Introduccion-a-la-teoria-de-la-computacion
Users that are interested in Introduccion-a-la-teoria-de-la-computacion are comparing it to the libraries listed below
Sorting:
- Dot files for Evan Chen (Arch Linux on i3)☆127Updated last week
- Lambda calculus interpreter written in TypeScript☆38Updated last month
- A collection of my solutions to various informatics olympiad problems☆51Updated 2 years ago
- Competitive Programming Booster☆168Updated 9 months ago
- ☆162Updated 10 years ago
- ☆14Updated 2 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- Notebook for programming competitions - Universidad Nacional de Colombia - Bogotá.☆32Updated 5 years ago
- orz☆15Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated last week
- We promote competitive programming among students through resources, classes, outreach, and contests.☆29Updated last week
- Olympiad problem database☆54Updated last month
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆42Updated 2 years ago
- 🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.☆39Updated last year
- Enciclopedia de Algoritmos y Estructuras de Datos - UTN Santa Fe 2019☆12Updated 6 years ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- Numerical answers to all Project Euler problems☆353Updated last week
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆44Updated 2 years ago
- Solutions to various competitive programming problems I've solved. Check out the USACO Guide to improve at competitive programming!☆85Updated 3 years ago
- LaTeX code for some of my lecture notes☆371Updated 3 years ago
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 2 months ago
- 🤖 Discord Bot for Competitive Programming☆330Updated 4 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated 3 weeks ago
- Problemas en español e ingles para uso de las olimpiadas de fisica. Contiene Iphos, Aphos, iberoamericanas, etc.☆11Updated 6 years ago
- Task translation system for IOI☆10Updated 3 months ago
- Team notebook for ICPC. Team "UNC - Gracias Demetrio".☆207Updated 2 months ago
- A compilation of lecture notes☆16Updated 6 years ago
- ☆37Updated last year