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)
  ☆126Updated this week
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• SeniorMars / links-i-find-interesting
  A mirror for all the links I post on my personal discord server
  ☆45Updated 7 months ago
• umd-cmsc330 / fall2022
  ☆30Updated 2 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆34Updated 3 months ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆48Updated this week
• lucky-bai / projecteuler-solutions
  Numerical answers to all Project Euler problems
  ☆346Updated last week
• ccz181078 / Coq-BB5
  ☆341Updated last week
• vEnhance / tsqx
  Asymptote preprocessor
  ☆17Updated 3 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week
• KiloProjects / Kilonova
  ☆37Updated this week
• Lenivaya / dotfiles
  Dotfiles
  ☆33Updated 3 months ago
• Mzk-Levi / texts
  ☆159Updated 10 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆213Updated 2 years ago
• abrantesasf / sicp-abrantes-study-guide
  My study guide for SICP
  ☆128Updated 5 years ago
• ChickenCult / Mostly-Harmless-Bots
  A collection of bots
  ☆11Updated 6 months ago
• marsenis / grader
  An automated shell script that compiles and runs a program on a set of test cases provided by the user.
  ☆37Updated 5 years ago
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆145Updated 4 years ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆62Updated last month
• geohot / haskell-scheme
  Writing Scheme in Haskell
  ☆60Updated 5 years ago
• eyangch / competitive-programming
  A bunch of coding stuff
  ☆22Updated last year
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 3 weeks ago
• IvanIsCoding / CompetitiveProgramming
  Solutions to 1500+ problems from ACM ICPC and OIs hosted on DMOJ, SPOJ, and beecrowd
  ☆86Updated last year
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆397Updated 4 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆146Updated last year
• meooow25 / haccepted
  Data structures and algorithms for competitive programming in Haskell
  ☆15Updated last year
• ivangalbans / TeamReference
  Team reference for Competitive Programming. Algorithms implementations very used in the ACM-ICPC contests. Latex template to build your …
  ☆47Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆299Updated 9 months ago
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 11 years ago
• PsychoLlama / recommendations
  A list of the most impactful things I go out of my way to recommend.
  ☆15Updated last week