Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Jan 23, 2026Updated 2 months 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:
- Minimalistic program launcher☆474Updated this week
- Some badges I created for my GitHub profile readme.☆522Aug 14, 2024Updated last year
- A keyboard input remapper for Linux/Wayland systems, written by @wez☆623Aug 19, 2024Updated last year
- Modules and schemes to make theming with Nix awesome.☆588May 23, 2024Updated last year
- Run docker-compose with help from Nix/NixOS☆879Apr 5, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Font introspection, complex text shaping and glyph rendering.☆835Mar 26, 2026Updated 2 weeks ago
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,329Apr 3, 2026Updated last week
- A customizable TUI display/login manager written in Rust 🐒☆1,263Mar 14, 2026Updated 3 weeks ago
- Personal nixos and home-manager configurations.☆1,244Apr 1, 2026Updated last week
- Graphical console greeter for greetd☆1,579Nov 12, 2024Updated last year
- Hypr is a tiling window manager written in modern C++.☆1,302Mar 28, 2024Updated 2 years ago
- Pure Rust multi-line text handling☆2,029Apr 4, 2026Updated last week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,223Updated this week
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,176Sep 5, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A very fast linker for Linux☆3,481Updated this week
- Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]☆2,746Updated this week
- A GPU compute-centric 2D renderer.☆3,902Updated this week
- SDL2 bindings for Rust☆2,938Mar 22, 2026Updated 3 weeks ago
- Run compilers interactively from your web browser and interact with the assembly☆18,668Updated this week
- The ML4W OS - Dotfiles for Hyprland - An advanced and full-featured configuration for the dynamic tiling window manager Hyprland. Ready t…☆4,603Apr 4, 2026Updated last week
- Protect your data against global mass surveillance programs.☆3,976Mar 30, 2026Updated last week
- An experimental Rust native UI framework☆5,207Updated this week
- A modular game engine written in Rust☆4,699May 21, 2024Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.☆6,142Apr 6, 2026Updated last week
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,652Updated this week
- Executes commands in response to file modifications☆6,892Updated this week
- Anthropic's Interactive Prompt Engineering Tutorial☆34,579Mar 1, 2026Updated last month
- AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins☆14,234Updated this week
- the champagne of beta embedded databases☆8,962Apr 4, 2026Updated last week
- Awesome LeetCode resources to learn Data Structures and Algorithms and prepare for Coding Interviews.☆16,224Nov 25, 2025Updated 4 months ago
- Data-oriented and data-driven game engine written in Rust☆8,024Dec 6, 2021Updated 4 years ago
- A data-first Rust-native UI design toolkit.☆9,728Feb 5, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A more intuitive version of du in rust☆11,560Feb 21, 2026Updated last month
- An alternative privacy-friendly YouTube frontend which is efficient by design.☆9,882Updated this week
- A list of developer portfolios for your inspiration☆21,854Updated this week
- Beautiful, Modern & Opinionated Linux☆21,689Updated this week
- Privacy-respecting metasearch engine☆13,501Sep 7, 2023Updated 2 years ago
- A scrollable-tiling Wayland compositor.☆22,406Updated this week
- The systemd System and Service Manager☆16,196Updated this week