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.
  ☆399Updated 10 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…
  ☆103Updated 2 years ago
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,539Updated last week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,778Updated 3 weeks ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆93Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆767Updated this week
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆857Updated last month
• whiskeyo / Kursy-UWr
  Solutions and other stuff from the university courses I attended.
  ☆13Updated 4 years ago
• Valentinusz / elte-ik-bsc
  ELTE IK tananyagok
  ☆130Updated last year
• RUB-INI-Theory-of-Machine-Learning / hello-world
  ☆11Updated 3 years ago
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆144Updated last year
• Myriad-Dreamin / tinymist
  Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
  ☆2,603Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆321Updated last year
• automatarium / automatarium
  A place for automata
  ☆80Updated 3 weeks ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆69Updated 2 months ago
• BenjaminGor / Latex_Notes_Tutorial
  Latex Book/Note Writing Tutorial
  ☆754Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,476Updated this week
• ccz181078 / Coq-BB5
  ☆350Updated 3 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆444Updated 4 months ago
• muthukumarse / books
  book list
  ☆274Updated 6 years ago
• ManuelLerchner / fpv-tutorial-SS23
  Materialien für das FPV-Tutorium im Sommersemester 2023
  ☆34Updated last year
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,169Updated 10 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆364Updated this week
• pawlowiczf / ASD-2022-2023
  Algorytmy i struktury danych - rozwiązania
  ☆15Updated last year
• dtbinh / OpenCourse
  ☆177Updated 6 years ago
• typst / packages
  Packages for Typst.
  ☆837Updated last week
• gigahidjrikaaa / Engineering-Books
  Softcopy of Engineering Books. If you want a book{s} to be taken down, please contact me.
  ☆554Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆633Updated this week
• riemann-discord / math-discord
  A .tex file to use in the math discord
  ☆13Updated last week