Alternatives and similar repositories for Programming-fundamentals

Users that are interested in Programming-fundamentals are comparing it to the libraries listed below

• ccz181078 / Coq-BB5
  ☆355Updated 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
• mhorod / oop-unit-tests
  Unit tests for problems of Object Oriented Programming course on TCS
  ☆10Updated 3 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆38Updated 3 months ago
• SeniorMars / dotfiles
  My Rice Setup
  ☆1,049Updated 7 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆461Updated 5 months ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆403Updated last year
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆18Updated 8 months ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆71Updated 3 weeks ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆516Updated 2 weeks ago
• COMP1511UNSW / dcc
  dcc - a C compiler which explains errors to novice programmers
  ☆169Updated last year
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆485Updated last month
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated last year
• minchingtonak / lambster.dev
  Web interface for https://github.com/minchingtonak/lambster
  ☆13Updated 3 months ago
• dtbinh / OpenCourse
  ☆182Updated 6 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,799Updated 2 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆799Updated this week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆74Updated last month
• TMD44 / elte-ik-pti-bsc-zarovizsga
  ELTE IK - Programtervező Informatikus BSc Záróvizsga tételek kidolgozása
  ☆104Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆20Updated last year
• rewired-gh / macos-system-call-table
  ☆29Updated 9 months ago
• frederic-santos / taoanalysissolutions
  Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…
  ☆105Updated 3 years ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆512Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆391Updated 2 weeks ago
• stevenaeola / progblack_2223
  ☆11Updated 2 years ago
• lair001 / lehman-math-cs
  Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
  ☆44Updated 3 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 4 months ago