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.
  ☆371Updated 6 months ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated 2 months ago
• RussellDash332 / autokattis
  Updated Kattis API wrapper
  ☆19Updated 5 months ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆48Updated this week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• Rattlehead15 / Correlativas
  Árbol de Correlativas de LCC
  ☆11Updated 3 years ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆723Updated last week
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• leic-pt / resumos-leic
  Resumos das UCs de LEIC-A do IST
  ☆59Updated 3 weeks ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆17Updated last year
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆355Updated 3 years ago
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,354Updated this week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,179Updated 3 weeks ago
• SeniorMars / links-i-find-interesting
  A mirror for all the links I post on my personal discord server
  ☆45Updated 5 months ago
• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆204Updated this week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,560Updated last month
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆154Updated 2 weeks ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆76Updated 11 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆391Updated last month
• UCSD-Historical-Enrollment-Data / UCSDHistEnrollData
  Did someone say... scuffed UCSD historical enrollment data?
  ☆45Updated 2 months ago
• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆48Updated this week
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated 2 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• DannySeidel / typst-dhbw-template
  Unofficial Typst DHBW Template
  ☆19Updated 7 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• sohamch08 / LaTeX
  All My LaTeX Works till Now are here all togather.
  ☆132Updated last week
• gillescastel / university-setup
  My note taking setup scripts.
  ☆429Updated 3 years ago
• Fabio-A-Sa / Y2S2-LabComputadores
  Laboratório de Computadores (LCOM) documentation and exercises. LEIC, Year 2, Semester 2.
  ☆104Updated 4 months ago