Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Jun 25, 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:
- Minimalistic program launcher☆478Jun 21, 2026Updated last week
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆795Apr 23, 2026Updated 2 months ago
- Run docker-compose with help from Nix/NixOS☆900Jun 5, 2026Updated 3 weeks ago
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆871Jun 25, 2026Updated last week
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,401Jun 18, 2026Updated 2 weeks 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.
- Personal nixos and home-manager configurations.☆1,307Updated this week
- Multi-tenant Nix Binary Cache☆1,946Updated this week
- Graphical console greeter for greetd☆1,680Nov 12, 2024Updated last year
- 📦 shippable application packaging☆2,063Updated this week
- Hypr is a tiling window manager written in modern C++.☆1,308Mar 28, 2024Updated 2 years ago
- Guide for using gfx-rs's wgpu library.☆1,940Jun 16, 2026Updated 2 weeks ago
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,192Sep 5, 2023Updated 2 years ago
- A very fast linker for Linux☆3,693Updated this week
- Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS☆3,303May 18, 2026Updated last month
- 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.
- The cling C++ interpreter☆4,152Apr 19, 2026Updated 2 months ago
- A GPU compute-centric 2D renderer.☆4,125Jun 25, 2026Updated last 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,054Apr 8, 2026Updated 2 months ago
- An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all in…☆3,977Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆18,856Jun 25, 2026Updated last week
- ranger-like terminal file manager written in Rust☆3,718Apr 14, 2026Updated 2 months ago
- A powerful web framework built with a simplified design.☆4,385Updated this week
- Protect your data against global mass surveillance programs.☆4,088Updated 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.
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆7,055Jun 25, 2026Updated last week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,396Feb 27, 2023Updated 3 years ago
- Fast and lightweight DNS proxy as ad-blocker for local network with many features☆6,744Updated this week
- A community-maintained Python framework for creating mathematical animations.☆39,201Jun 24, 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,362Jun 22, 2026Updated last week
- Modernity meets insane extensibility. The future of organizing your life in Neovim.☆7,450Apr 9, 2026Updated 2 months ago
- Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)☆26,345Updated this week
- Data-oriented and data-driven game engine written in Rust☆8,026Dec 6, 2021Updated 4 years ago
- Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)☆8,983Aug 18, 2024Updated last year
- 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 data-first Rust-native UI design toolkit.☆9,710Apr 23, 2026Updated 2 months ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,650Updated this week
- An alternative privacy-friendly YouTube frontend which is efficient by design.☆10,056Updated this week
- Privacy-respecting metasearch engine☆13,516May 14, 2026Updated last month
- LLM training in simple, raw C/CUDA☆30,362Jun 26, 2025Updated last year
- Clone this repo to build Frida☆21,142Jun 22, 2026Updated last week
- LLM101n: Let's build a Storyteller☆37,383Aug 1, 2024Updated last year