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

• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆127Updated last week
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆50Updated this week
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 3 months ago
• searleser97 / cpbooster
  Competitive Programming Booster
  ☆168Updated 10 months ago
• frodakcin / orz-bot
  orz
  ☆15Updated 3 years ago
• wesley-a-leung / Resources
  Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…
  ☆42Updated 2 years ago
• Axarva / todo
  A simple todo list program in Haskell
  ☆10Updated 4 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated last month
• vEnhance / von
  Olympiad problem database
  ☆54Updated this week
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆16Updated 6 years ago
• IvanIsCoding / CompetitiveProgramming
  Solutions to 1500+ problems from ACM ICPC and OIs hosted on DMOJ, SPOJ, and beecrowd
  ☆85Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆38Updated 2 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated last week
• geohot / haskell-scheme
  Writing Scheme in Haskell
  ☆59Updated 5 years ago
• vEnhance / tsqx
  Asymptote preprocessor
  ☆17Updated 6 months ago
• vmartinv / eldiego
  Short written algorithms, cheatsheet for ACM-ICPC
  ☆68Updated 6 years ago
• thecodingwizard / competitive-programming
  Solutions to various competitive programming problems I've solved. Check out the USACO Guide to improve at competitive programming!
  ☆85Updated 3 years ago
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆289Updated 2 years ago
• slotThe / slotThe.github.io
  ☆27Updated this week
• carlosal1015 / Books
  Math & Physics Books
  ☆154Updated 6 years ago
• b-coimbra / .emacs.d
  My emacs config
  ☆14Updated 7 months ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• Mzk-Levi / texts
  ☆166Updated 10 years ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆372Updated 3 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆51Updated 2 years ago
• KiloProjects / Kilonova
  ☆41Updated 2 weeks ago
• deep5050 / HighlightedCS
  Popular computer science books (PDF) with highlighting :) add yours now
  ☆114Updated last year
• equetzal / contestImage
  This is the 2019 contestImage for competitive programming for the Algorithmic Club of ESCOM-IPN.
  ☆20Updated 2 years ago
• dev-aditya / LaTeX-template
  A colorful latex template for notes and weekly math assignments.
  ☆95Updated 3 years ago
• AlexGz9851 / Fisica-Olimpiada-Biblioteca-Problemas
  Problemas en español e ingles para uso de las olimpiadas de fisica. Contiene Iphos, Aphos, iberoamericanas, etc.
  ☆11Updated 6 years ago