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)
  ☆129Updated 3 weeks ago
• pablomancera / sia_scrapper
  Pequeño script para seguir los cupos de las asignaturas en el buscador de cursos de la Universidad Nacional de Colombia.
  ☆29Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆38Updated 3 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆30Updated 4 years ago
• chezbgone / chez-sty
  ☆14Updated 3 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• damianarielm / lcc
  Licenciatura en Ciencias de la Computacion - UNR
  ☆70Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆37Updated 5 years ago
• CxrlosKenobi / udecursos
  Open-Source & Full-Stack web-app that allows students to visualize their degree's courses on a reactive and interactive way.
  ☆20Updated 2 years ago
• SeniorMars / links-i-find-interesting
  A mirror for all the links I post on my personal discord server
  ☆46Updated 11 months ago
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 4 months ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆50Updated last week
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated 3 weeks ago
• progcompuc / IIC2552-2018-1
  ☆14Updated 7 years ago
• hlissner / practice
  Programming exercises. For fun and great good.
  ☆17Updated 6 years ago
• automatarium / automatarium
  A place for automata
  ☆80Updated 2 months ago
• kciray8 / zerolambda
  100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
  ☆32Updated 10 months ago
• Python-Snacc / British-Informatics-Olympiad-Solutions
  Unofficial solutions to the BIO. Will check and fully comment the answers in time. Solution suggestions are welcome!
  ☆10Updated 2 years ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆16Updated 6 years ago
• Shivansh-007 / piston-cli
  Universal shell supporting code highlighting, files, and interpretation without the need to download a language.
  ☆45Updated 4 years ago
• malhotra5 / Manim-Guide
  A documentation of the most common Manim functionalities such as classes and methods.
  ☆34Updated 7 years ago
• peycuantico / gitcuantico
  ☆15Updated 5 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 months ago
• Lenivaya / dotfiles
  Dotfiles
  ☆35Updated last month
• dtbinh / OpenCourse
  ☆182Updated 6 years ago
• searleser97 / cpbooster
  Competitive Programming Booster
  ☆169Updated 11 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• erikbackman / nixos-config
  My NixOS configuration
  ☆42Updated last year
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated last week