Alternatives and similar repositories for Programming-fundamentals

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

• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆395Updated 9 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆371Updated 3 years ago
• spamegg1 / Epp-Discrete-Math-5th-solutions
  Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
  ☆121Updated 3 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,225Updated last week
• Funky-Punky / FPV_SS22_Repetitorium
  ☆17Updated 2 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,762Updated this week
• sohamch08 / LaTeX
  All My LaTeX Works till Now are here all togather.
  ☆142Updated 3 months ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆472Updated last week
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆51Updated last year
• Nicholas42 / AlgebraFranke
  Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
  ☆17Updated 4 years 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…
  ☆98Updated 2 years ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆414Updated 2 weeks ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆50Updated last week
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 7 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆434Updated 3 months ago
• kenfehling / latex-cheatsheet
  Template for a compact LaTeX Cheatsheet I made some years ago.
  ☆207Updated 7 years ago
• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆235Updated 2 months ago
• begilbert-sys / C-Sudoku-Solver
  ☆26Updated last year
• ManuelLerchner / fpv-tutorial-SS23
  Materialien für das FPV-Tutorium im Sommersemester 2023
  ☆34Updated last year
• spamegg1 / Math-for-CS-solutions
  Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
  ☆173Updated last year
• gillescastel / latex-snippets
  Vim + LaTeX snippets setup
  ☆1,131Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆350Updated 2 months ago
• dtbinh / OpenCourse
  ☆172Updated 6 years ago
• ohkimur / the-c-programming-language-2nd-edition-solutions
  Solutions to the exercises in the book "The C Programming Language" (2nd edition) by Brian W. Kernighan and Dennis M. Ritchie. This book …
  ☆644Updated 7 months ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆501Updated last year
• gillescastel / university-setup
  My note taking setup scripts.
  ☆438Updated 3 years ago
• peycuantico / gitcuantico
  ☆14Updated 3 months ago
• LiquidFun / aoc_tiles
  Fancy Advent of Code README tiles showing the completion status of the challenges per day
  ☆38Updated 11 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆38Updated last month