Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Jan 23, 2026Updated last month
Alternatives and similar repositories for Programming-fundamentals
Users that are interested in Programming-fundamentals are comparing it to the libraries listed below
Sorting:
- Minimalistic program launcher☆471Updated this week
- A framework for building Neovim plugins☆456Jun 6, 2024Updated last year
- Poimandres colorscheme for Neovim written in Lua☆492Oct 19, 2024Updated last year
- Modules and schemes to make theming with Nix awesome.☆585May 23, 2024Updated last year
- Font introspection, complex text shaping and glyph rendering.☆829Jan 14, 2026Updated last month
- Run docker-compose with help from Nix/NixOS☆857Feb 5, 2026Updated 3 weeks ago
- Minecraft ReplayMod☆992Dec 16, 2025Updated 2 months ago
- A customizable TUI display/login manager written in Rust 🐒☆1,234Dec 27, 2025Updated 2 months ago
- Personal nixos and home-manager configurations.☆1,222Feb 13, 2026Updated 2 weeks ago
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,286Updated this week
- a 2D Game Development Framework☆1,426May 19, 2025Updated 9 months ago
- Hypr is a tiling window manager written in modern C++.☆1,296Mar 28, 2024Updated last year
- Guide for using gfx-rs's wgpu library.☆1,862Feb 22, 2026Updated last week
- 📦 shippable application packaging☆1,947Feb 23, 2026Updated last week
- Pure Rust multi-line text handling☆1,992Updated this week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,164Feb 22, 2026Updated last week
- A high speed C++17 Vulkan game engine☆1,946Sep 21, 2023Updated 2 years ago
- A multithreaded Minecraft server built for redstone.☆2,192Feb 5, 2026Updated 3 weeks ago
- A very fast linker for Linux☆3,370Updated this week
- Based Minecraft utility mod.☆3,263Feb 13, 2026Updated 2 weeks ago
- SDL2 bindings for Rust☆2,937Feb 19, 2026Updated last week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,450Updated this week
- A GPU compute-centric 2D renderer.☆3,793Updated this week
- A tiling window manager for Adventurers☆3,043Updated this week
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,558Mar 11, 2025Updated 11 months ago
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,906Feb 24, 2026Updated last week
- A template engine for Rust based on Jinja2/Django☆4,128Dec 11, 2025Updated 2 months ago
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,600Oct 6, 2025Updated 4 months ago
- A modular game engine written in Rust☆4,701May 21, 2024Updated last year
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,355Updated this week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,404Feb 27, 2023Updated 3 years ago
- A Minecraft mod designed to improve frame rates and reduce micro-stutter☆5,487Updated this week
- Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)☆8,689Aug 18, 2024Updated last year
- A community-maintained Python framework for creating mathematical animations.☆36,991Updated this week
- the champagne of beta embedded databases☆8,930Nov 4, 2025Updated 3 months ago
- Data-oriented and data-driven game engine written in Rust☆8,035Dec 6, 2021Updated 4 years ago
- Actor framework for Rust.☆9,163Updated this week
- A data-first Rust-native UI design toolkit.☆9,723Feb 5, 2026Updated 3 weeks ago
- A more intuitive version of du in rust☆11,289Feb 21, 2026Updated last week