Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆26Oct 6, 2026Updated this 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:
- Nix binary cache implemented in rust (maintainer: @Mic92)☆625Updated this week
- Modules and schemes to make theming with Nix awesome.☆586May 23, 2024Updated 2 years ago
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆813Aug 27, 2026Updated last month
- Run docker-compose with help from Nix/NixOS☆923Oct 5, 2026Updated last week
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆899Updated 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.
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,473Oct 3, 2026Updated last week
- Personal monorepo. NixOS+home-manager configs, website, and other projects.☆1,344Updated this week
- Graphical console greeter for greetd☆1,816Sep 30, 2026Updated last week
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,918Jul 26, 2026Updated 2 months ago
- 📦 shippable application packaging☆2,132Updated this week
- Guide for using gfx-rs's wgpu library.☆1,979Jul 22, 2026Updated 2 months ago
- Multi-tenant Nix Binary Cache☆2,115Oct 1, 2026Updated last week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,429Updated this week
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,189Sep 5, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A high speed C++17 Vulkan game engine☆2,027Sep 21, 2023Updated 3 years ago
- Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflo…☆2,322Apr 24, 2025Updated last year
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,587Updated this week
- Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]☆2,963Updated this week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,705Updated this week
- SDL2 bindings for Rust☆2,952Mar 22, 2026Updated 6 months ago
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,530Mar 11, 2025Updated last year
- A tiling window manager for Adventurers☆3,049Sep 18, 2026Updated 3 weeks ago
- Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]☆3,487Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Run compilers interactively from your web browser and interact with the assembly☆19,123Updated this week
- ranger-like terminal file manager written in Rust☆3,735Updated this week
- A template engine for Rust based on Jinja2/Django☆4,325Updated this week
- A very fast linker for Linux☆4,038Updated this week
- A powerful web framework built with a simplified design.☆4,441Updated this week
- Awesome Vulkan ecosystem☆3,721May 11, 2026Updated 5 months ago
- ☑️ A simple and extensible shell script for managing your todo.txt file.☆6,187Updated this week
- A GPU compute-centric 2D renderer.☆4,411Updated this week
- Automated Mass Exploiter☆5,256May 22, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆5,161Aug 1, 2026Updated 2 months ago
- An experimental Rust native UI framework☆5,563Sep 14, 2026Updated 3 weeks ago
- Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a ple…☆13,511Updated this week
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆7,732Updated this week
- Protect your data against global mass surveillance programs.☆4,306Updated this week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,398Feb 27, 2023Updated 3 years ago
- Safe and rich Rust wrapper around the Vulkan API☆5,166Sep 28, 2026Updated last week