Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Aug 9, 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:
- rubicon enables a form of dynamic linking in Rust through cdylib crates and carefully-enforced invariants.☆177Jul 25, 2026Updated 2 weeks ago
- Minimalistic program launcher☆480Jul 28, 2026Updated 2 weeks ago
- Nix binary cache implemented in rust (maintainer: @Mic92)☆577Updated this week
- A guide on how to structure your Nix code with Flake Parts using the Dendritic Pattern☆428Jan 28, 2026Updated 6 months ago
- A keyboard input remapper for Linux/Wayland systems, written by @wez☆643Aug 19, 2024Updated last year
- 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.
- Modules and schemes to make theming with Nix awesome.☆588May 23, 2024Updated 2 years ago
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆806Apr 23, 2026Updated 3 months ago
- Run docker-compose with help from Nix/NixOS☆913Aug 5, 2026Updated last week
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆879Updated this week
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,434Aug 3, 2026Updated last week
- A customizable TUI display/login manager written in Rust 🐒☆1,338Jun 28, 2026Updated last month
- Personal monorepo. NixOS+home-manager configs, website, and other projects.☆1,326Updated this week
- Graphical console greeter for greetd☆1,702Nov 12, 2024Updated last year
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,887Jul 26, 2026Updated 2 weeks ago
- 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.
- 📦 shippable application packaging☆2,095Jul 28, 2026Updated 2 weeks ago
- Hypr is a tiling window manager written in modern C++.☆1,311Mar 28, 2024Updated 2 years ago
- youtube video renderer☆1,639Updated this week
- A multithreaded Minecraft server built for redstone.☆2,261Updated this week
- Multi-tenant Nix Binary Cache☆2,013Jul 30, 2026Updated last week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,362Updated this week
- 0 - 1 learn OpenClaw: sections to build an claw-AI agent from scratch☆3,247Jun 30, 2026Updated last month
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,192Sep 5, 2023Updated 2 years ago
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆3,246Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,563Updated this week
- Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]☆2,907Updated this week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,670Updated this week
- SDL2 bindings for Rust☆2,950Mar 22, 2026Updated 4 months ago
- The cling C++ interpreter☆4,172Updated this week
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,541Mar 11, 2025Updated last year
- A tiling window manager for Adventurers☆3,047Jul 21, 2026Updated 3 weeks ago
- Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]☆3,360Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆18,965Updated this week
- 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 template engine for Rust based on Jinja2/Django☆4,286Updated this week
- A very fast linker for Linux☆3,832Updated this week
- A GPU compute-centric 2D renderer.☆4,254Updated this week
- Curated list of Python resources for data science.☆4,648Jun 5, 2026Updated 2 months ago
- An experimental Rust native UI framework☆5,484Updated this week
- A modular game engine written in Rust☆4,698May 21, 2024Updated 2 years ago
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆7,260Updated this week