Alternatives and similar repositories for Programming-fundamentals:

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

• nvmcr / DataScience_HandBook
  A quick guide to Data Science, DBMS, and AWS concepts
  ☆9Updated 11 months ago
• softwaremagico / KendoTournamentManager
  Kendo Tournament Manager v2
  ☆9Updated last week
• ygor-sena / 42cursus-miniRT
  The eleventh project of 42's curriculum is an introduction to the beautiful world of Raytracing and asks students to render simple Comput…
  ☆7Updated last year
• double-o-z / TheCProgramming_KandR
  The C Programming Language Book by Brian W. Kernighan and Dennis M. Ritchie - solved exercises
  ☆16Updated 3 years ago
• zhengguan / 15150-1
  ☆27Updated 7 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 7 months ago
• dpmj / alcazar
  A free and Open-Source LaTeX template for academic works: theses, reports, etc.
  ☆22Updated 2 months ago
• D0D0123 / MemoryGuideC
  Guide to Memory Management and Debugging in C
  ☆25Updated 9 months ago
• Pinzauti / LaTeX-thesis-template
  Clean LaTeX template for a thesis or a large writeup.
  ☆35Updated 10 months ago
• fsinf / pdf-page-stripper
  Strips useless pages from TU Wien PDFs
  ☆10Updated last year
• jdujava / TeXtured
  LaTeX Template
  ☆102Updated last month
• chains-project / bump
  A dataset of reproducible breaking dependency updates, SANER 2024 (https://doi.org/10.1109/SANER60148.2024.00024)
  ☆17Updated 2 weeks ago
• Kyrylo-Ktl / LeetCode-Solutions
  This is a repository with solutions to LeetCode problems, mainly in Python and SQL. It contains an auto-generated table of all solutions …
  ☆16Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆166Updated last week
• kspalaiologos / C-Learning-Resources
  Resources for learning C that are the best in my opinion.
  ☆139Updated 2 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆199Updated 2 weeks ago
• CodeWithHarry / The-Ultimate-C-Programming-Course
  This is the C language code and supplement material for the Ultimate C language Course on CodeWithHarry
  ☆698Updated 9 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆288Updated 3 weeks ago
• janka102 / Along32
  along32.sourceforge.net; buildable on macOS, used in my co-project janka102/MASM_OSX
  ☆13Updated 9 years ago
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆14Updated 5 months ago
• Hadhzy / Donsus
  Compiler
  ☆13Updated 9 months ago
• lukelex / dotfiles
  My Personal Linux Environment Configurations
  ☆9Updated last month
• typst / templates
  Templates that are directly maintained by the Typst team.
  ☆314Updated 3 weeks ago
• Aryan0-1Maurya / Aryan0-1Maurya
  ☆13Updated 2 months ago
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆442Updated last month
• Enter-tainer / typstyle
  Beautiful and reliable typst code formatter
  ☆497Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆221Updated this week
• Gadjib / ocamlhomeworks
  Repository for homeworks.
  ☆10Updated 3 years ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆427Updated 6 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆113Updated this week