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.
  ☆392Updated 9 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆404Updated 3 weeks ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,219Updated last week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆368Updated 3 years ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆465Updated 6 months ago
• spamegg1 / Epp-Discrete-Math-5th-solutions
  Solutions to Susanna Epp's Discrete Mathematics book, 5th Edition
  ☆116Updated 2 months ago
• 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)
  ☆170Updated last year
• mcserep / elteikthesis
  ELTE FI bachelor and master thesis template.
  ☆73Updated last year
• Valentinusz / elte-ik-bsc
  ELTE IK tananyagok
  ☆121Updated last year
• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆226Updated last month
• gillescastel / university-setup
  My note taking setup scripts.
  ☆437Updated 3 years ago
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,164Updated 8 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆425Updated 2 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,462Updated last week
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆45Updated 2 months ago
• 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
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆65Updated 2 weeks ago
• nus-cs2103-AY2425S2 / forum
  ☆18Updated 8 months ago
• ccz181078 / Coq-BB5
  ☆345Updated last month
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆804Updated last year
• antoninkriz / CTU-TimeTable-Generator
  Generate the best possible time table and schedule for your next semester
  ☆21Updated 2 weeks ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆805Updated last week
• wo / tpg
  Tree Proof Generator
  ☆173Updated 8 months ago
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,481Updated 3 weeks ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,738Updated this week
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆137Updated last year
• rashidtalha / latex-templates
  A handmade collection of latex templates, classes and style files
  ☆55Updated last week
• antkr10 / tex-cvbuilder
  Collection of customizable CV & cover letter LaTeX templates
  ☆151Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆314Updated 5 months ago