Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Apr 30, 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:
- ✨ Skin boosts a League of Legends ARAM lobby without consuming any RP, temporarily unlocking a skin for everyone and granting you extra B…☆67May 21, 2021Updated 4 years ago
- A (not necessarily complete) game template for ggez.☆96Jul 9, 2020Updated 5 years ago
- rubicon enables a form of dynamic linking in Rust through cdylib crates and carefully-enforced invariants.☆177Apr 15, 2026Updated 2 weeks ago
- Simple, typographic beamer theme☆272Updated this week
- An account leveling bot for League of Legends written in Python☆359Mar 23, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Minimalistic program launcher☆475Apr 22, 2026Updated last week
- The ultimate JavaScript plugin loader, build your unmatched LoL Client.☆564Feb 11, 2026Updated 2 months ago
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆780Apr 23, 2026Updated last week
- Run docker-compose with help from Nix/NixOS☆884Apr 5, 2026Updated 3 weeks ago
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆860Apr 14, 2026Updated 2 weeks ago
- Minecraft ReplayMod☆996Apr 14, 2026Updated 2 weeks ago
- Graphical console greeter for greetd☆1,598Nov 12, 2024Updated last year
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,832Dec 10, 2025Updated 4 months ago
- A multithreaded Minecraft server built for redstone.☆2,213Updated 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.
- Hypr is a tiling window manager written in modern C++.☆1,300Mar 28, 2024Updated 2 years ago
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,241Updated this week
- Plugin and runtime library for using protobuf with Swift☆4,916Updated this week
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,184Sep 5, 2023Updated 2 years ago
- Impostor - An open source reimplementation of the Among Us Server☆2,336Apr 20, 2026Updated last week
- A high speed C++17 Vulkan game engine☆1,974Sep 21, 2023Updated 2 years ago
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆3,014Updated this week
- Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS☆3,278Mar 20, 2026Updated last month
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,533Apr 26, 2026Updated last 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.
- The cling C++ interpreter☆4,135Apr 19, 2026Updated last week
- A GPU compute-centric 2D renderer.☆3,967Updated this week
- SDL2 bindings for Rust☆2,940Mar 22, 2026Updated last month
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,546Mar 11, 2025Updated last year
- A tiling window manager for Adventurers☆3,048Apr 8, 2026Updated 3 weeks ago
- Run compilers interactively from your web browser and interact with the assembly☆18,723Apr 25, 2026Updated last week
- ranger-like terminal file manager written in Rust☆3,694Apr 14, 2026Updated 2 weeks ago
- A template engine for Rust based on Jinja2/Django☆4,189Apr 3, 2026Updated 3 weeks ago
- Based Minecraft utility mod.☆3,415Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Curated list of Python resources for data science.☆4,610Apr 3, 2026Updated 3 weeks ago
- An experimental Rust native UI framework☆5,288Updated this week
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,727Updated this week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,400Feb 27, 2023Updated 3 years ago
- Safe and rich Rust wrapper around the Vulkan API☆5,053Apr 26, 2026Updated last week
- Executes commands in response to file modifications☆6,938Updated this week
- The SimpleLogin back-end and web app☆6,633Updated this week