Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Jun 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:
- Dafny is a verification-aware programming language☆3,430Updated this week
- Minimalistic program launcher☆476Jun 4, 2026Updated last week
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆791Apr 23, 2026Updated last month
- Run docker-compose with help from Nix/NixOS☆898Jun 5, 2026Updated last week
- Font introspection, complex text shaping and glyph rendering.☆847Mar 26, 2026Updated 2 months 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.
- Personal nixos and home-manager configurations.☆1,305Jun 2, 2026Updated last week
- Multi-tenant Nix Binary Cache☆1,908Jun 2, 2026Updated last week
- Graphical console greeter for greetd☆1,658Nov 12, 2024Updated last year
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,847Dec 10, 2025Updated 6 months ago
- Hypr is a tiling window manager written in modern C++.☆1,305Mar 28, 2024Updated 2 years ago
- Pure Rust multi-line text handling☆2,083Apr 22, 2026Updated last month
- Guide for using gfx-rs's wgpu library.☆1,932May 17, 2026Updated 3 weeks ago
- Compiler for the Vale programming language - http://vale.dev/☆1,986May 14, 2024Updated 2 years ago
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,293Jun 6, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A very fast linker for Linux☆3,657Updated this week
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆3,115Jun 4, 2026Updated last week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,609Updated this week
- A GPU compute-centric 2D renderer.☆4,078Jun 5, 2026Updated last week
- SDL2 bindings for Rust☆2,941Mar 22, 2026Updated 2 months ago
- A tiling window manager for Adventurers☆3,051Apr 8, 2026Updated 2 months ago
- ranger-like terminal file manager written in Rust☆3,706Apr 14, 2026Updated last month
- A powerful web framework built with a simplified design.☆4,369Jun 4, 2026Updated last week
- Protect your data against global mass surveillance programs.☆4,063Jun 1, 2026Updated last 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.
- An experimental Rust native UI framework☆5,374Jun 2, 2026Updated last week
- A modular game engine written in Rust☆4,694May 21, 2024Updated 2 years ago
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,962Jun 5, 2026Updated last week
- Opinionated Ubuntu Setup☆8,051Apr 3, 2026Updated 2 months ago
- The SimpleLogin back-end and web app☆6,708Jun 5, 2026Updated last week
- Anthropic's Interactive Prompt Engineering Tutorial☆36,220Mar 1, 2026Updated 3 months ago
- AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins☆14,338May 11, 2026Updated last month
- the champagne of beta embedded databases☆9,012Apr 4, 2026Updated 2 months ago
- Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)☆26,130Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Actor framework for Rust.☆9,215Jun 1, 2026Updated last week
- Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)☆8,940Aug 18, 2024Updated last year
- A data-first Rust-native UI design toolkit.☆9,714Apr 23, 2026Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,531Updated this week
- A more intuitive version of du in rust☆11,809Feb 21, 2026Updated 3 months ago
- An alternative privacy-friendly YouTube frontend which is efficient by design.☆10,029Jun 3, 2026Updated last week
- Beautiful, Modern & Opinionated Linux☆23,587Updated this week