Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Oct 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for Programming-fundamentals
Users that are interested in Programming-fundamentals are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimal Vim colorschemes☆15Apr 10, 2026Updated 6 months ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- org-babel support for generating various diagrams using diagrams backend☆12May 17, 2020Updated 6 years ago
- Ultimate way to browse YouTube.☆10Jun 26, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Template for PhD thesis using Tufte's style book☆11Mar 13, 2020Updated 6 years ago
- Pilas Bloques es una aplicación para enseñar y aprender a programar por medio de bloques de forma simple y divertida.☆17Updated this week
- ☆10Jan 8, 2021Updated 5 years ago
- Typescript challenge for 30 days! I'll be doing two code tasks per day for the next 30 days and uploading them here.☆12May 9, 2023Updated 3 years ago
- Introducción a la Programacion - UBA 1C 2023☆14Mar 28, 2026Updated 7 months ago
- Build a one file portable neovim bundle from your current neovim config☆12Apr 9, 2023Updated 3 years ago
- bootstrapper for my dev setup☆15May 16, 2026Updated 5 months ago
- Emacs elisp defuns replacing or enhancing major external packages☆15Oct 21, 2026Updated last week
- Miscellaneous lightweight tools and utilities in JavaScript☆23Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Like "tmux-sessionizer", but for Wezterm workspaces☆17Mar 3, 2026Updated 7 months ago
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆21Oct 11, 2017Updated 9 years ago
- Minimal xmonad configuration with panels for Ubuntu☆23Updated this week
- Write your scientific paper in asciidoc (with asciidoctor-web-pdf)☆17Jun 18, 2025Updated last year
- People kept asking, so here they are☆17Jan 1, 2025Updated last year
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated last year
- ☆20Jun 25, 2026Updated 4 months ago
- ☆27Updated this week
- A learning path composed of projects to learn programming basics☆24Sep 21, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Chrome extension that finds Digital Object Identifier (DOI) links of journal articles, books, and datasets on a webpage and adds a dire…☆21Jul 6, 2025Updated last year
- Handmade Hero color scheme for Vim.☆24Sep 15, 2021Updated 5 years ago
- Pandoc/Quarto filter to convert selected LaTeX and TikZ elements to images in other output formats☆27Oct 27, 2025Updated last year
- ☆27Jul 20, 2023Updated 3 years ago
- A simple LaTex class for Zettelkasten.☆23Jan 25, 2022Updated 4 years ago
- A simple format for using the file system as an issue tracker☆39Oct 27, 2016Updated 10 years ago
- a offline excalidraw editor wrapped as chrome extension☆33Updated this week
- Git command to anonymize a repository☆29Mar 31, 2017Updated 9 years ago
- Minimal light and dark themes for GNU Emacs based on the original Sublime Text Alabaster color scheme.☆34Mar 25, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Neovim Preconfiguration for LaTeX☆29Mar 2, 2023Updated 3 years ago
- Quality of Life customizations for 4coder☆28Jan 16, 2026Updated 9 months ago
- A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples☆24Dec 26, 2025Updated 10 months ago
- Use pandoc to convert markdown files according to options from a yaml block☆41Aug 31, 2025Updated last year
- Markdown Query Language Engine☆48May 26, 2025Updated last year
- A ToDo app made in pure HTML and CSS without using JS☆35Apr 10, 2025Updated last year
- Github action to upload a file or a folder to Google Drive☆30May 3, 2024Updated 2 years ago