Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25May 15, 2026Updated last week
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:
- iOS 11.1.2 (15B202) Jailbreak☆438Apr 6, 2021Updated 5 years ago
- Modules and schemes to make theming with Nix awesome.☆592May 23, 2024Updated last year
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆789Apr 23, 2026Updated last month
- Run docker-compose with help from Nix/NixOS☆894May 5, 2026Updated 2 weeks ago
- Font introspection, complex text shaping and glyph rendering.☆848Mar 26, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆864May 9, 2026Updated 2 weeks ago
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,363Updated this week
- A customizable TUI display/login manager written in Rust 🐒☆1,298Mar 14, 2026Updated 2 months ago
- Personal nixos and home-manager configurations.☆1,286Updated this week
- Multi-tenant Nix Binary Cache☆1,871May 12, 2026Updated last week
- Graphical console greeter for greetd☆1,626Nov 12, 2024Updated last year
- 📦 shippable application packaging☆2,031Updated this week
- Hypr is a tiling window manager written in modern C++.☆1,299Mar 28, 2024Updated 2 years ago
- Guide for using gfx-rs's wgpu library.☆1,925Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,270May 14, 2026Updated last week
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,186Sep 5, 2023Updated 2 years ago
- Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]☆2,807Updated this week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,580Updated this week
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,544Mar 11, 2025Updated last year
- ranger-like terminal file manager written in Rust☆3,697Apr 14, 2026Updated last month
- A powerful web framework built with a simplified design.☆4,355May 15, 2026Updated last week
- Awesome Vulkan ecosystem☆3,672May 11, 2026Updated last week
- Protect your data against global mass surveillance programs.☆4,025Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An experimental Rust native UI framework☆5,334Updated this week
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,809Updated this week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,399Feb 27, 2023Updated 3 years ago
- Safe and rich Rust wrapper around the Vulkan API☆5,070Updated this week
- Executes commands in response to file modifications☆6,983May 5, 2026Updated 2 weeks ago
- Fast and lightweight DNS proxy as ad-blocker for local network with many features☆6,624Updated this week
- The SimpleLogin back-end and web app☆6,659May 13, 2026Updated last week
- AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins☆14,300May 11, 2026Updated last week
- Modernity meets insane extensibility. The future of organizing your life in Neovim.☆7,386Apr 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- the champagne of beta embedded databases☆8,995Apr 4, 2026Updated last month
- Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)☆25,928May 14, 2026Updated last week
- A data-first Rust-native UI design toolkit.☆9,718Apr 23, 2026Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,429May 16, 2026Updated last week
- A more intuitive version of du in rust☆11,703Feb 21, 2026Updated 3 months ago
- An alternative privacy-friendly YouTube frontend which is efficient by design.☆9,979May 15, 2026Updated last week
- A fast, local neural text to speech system☆10,980Aug 26, 2025Updated 8 months ago