Alternatives and similar repositories for Programming-fundamentals

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

• mbg / cs310
  Templates and generic advice for CS310 etc.
  ☆39Updated last month
• riemann-discord / math-discord
  A .tex file to use in the math discord
  ☆13Updated 2 months ago
• muthukumarse / books
  book list
  ☆269Updated 6 years ago
• 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
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,594Updated last week
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆84Updated last year
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆444Updated 4 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆11Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆17Updated last year
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆48Updated this week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆34Updated 3 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆396Updated this week
• OlimpiadaAI / II-OlimpiadaAI
  Oficjalne repozytorium drugiej edycji ogólnopolskiej Olimpiady Sztucznej Inteligencji
  ☆55Updated 4 months ago
• automatarium / automatarium
  A place for automata
  ☆77Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆411Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated 3 weeks ago
• dtbinh / OpenCourse
  ☆168Updated 6 years ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆17Updated last year
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆396Updated 4 months ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆733Updated last month
• UniMath / agda-unimath
  The agda-unimath library
  ☆267Updated last week
• ebonelli / PLaF
  Notes and source code for a semester-long course introducing Programming Language fundamentals
  ☆37Updated 3 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆402Updated this week
• ccz181078 / Coq-BB5
  ☆337Updated last week
• mlochbaum / BQN
  An APL-like programming language
  ☆999Updated 3 weeks ago
• roalgo-discord / Romanian-Olympiad-Solutions
  Aici puteti gasi descrierile solutiilor de la olimpiadele si concursurile romanesti de informatica
  ☆47Updated 2 weeks ago
• JakubPiotrowicz / Kompendium
  ☆29Updated 5 months ago
• mhorod / oop-unit-tests
  Unit tests for problems of Object Oriented Programming course on TCS
  ☆10Updated 3 years ago