Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆26Sep 6, 2026Updated 2 weeks ago
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:
- Python module for the KY040 rotary encoder.☆16Nov 16, 2025Updated 10 months ago
- Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.☆29Feb 7, 2026Updated 7 months ago
- Proof-of-concept Pager using a TTGO dev board. Will be merged with the "Waffle" project someday.☆28Jun 29, 2023Updated 3 years ago
- Radiosonde decoder plugin for SDR++☆121Aug 13, 2023Updated 3 years ago
- Minimalistic program launcher☆482Sep 11, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nix binary cache implemented in rust (maintainer: @Mic92)☆610Updated this week
- A guide on how to structure your Nix code with Flake Parts using the Dendritic Pattern☆449Jan 28, 2026Updated 7 months ago
- 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☆809Aug 27, 2026Updated 3 weeks ago
- Font introspection, complex text shaping and glyph rendering.☆872Jul 17, 2026Updated 2 months ago
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,464Updated this week
- A customizable TUI display/login manager written in Rust 🐒☆1,356Updated this week
- Graphical console greeter for greetd☆1,788Updated this week
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,911Jul 26, 2026Updated last month
- 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.
- 📦 shippable application packaging☆2,121Updated this week
- Hypr is a tiling window manager written in modern C++.☆1,309Mar 28, 2024Updated 2 years ago
- Guide for using gfx-rs's wgpu library.☆1,968Jul 22, 2026Updated 2 months ago
- Multi-tenant Nix Binary Cache☆2,080Updated this week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,408Updated this week
- 0 - 1 learn OpenClaw: sections to build an claw-AI agent from scratch☆3,363Jun 30, 2026Updated 2 months ago
- UI over MCP. Create next-gen UI experiences with the protocol and SDK!☆5,172Updated this week
- A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.☆2,191Sep 5, 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆3,330Updated this week
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,578Updated this week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,691Updated this week
- SDL2 bindings for Rust☆2,951Mar 22, 2026Updated 5 months ago
- The cling C++ interpreter☆4,196Aug 6, 2026Updated last month
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,533Mar 11, 2025Updated last year
- A tiling window manager for Adventurers☆3,048Updated this week
- Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]☆3,450Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆19,084Updated this week
- 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.
- ranger-like terminal file manager written in Rust☆3,730Updated this week
- A template engine for Rust based on Jinja2/Django☆4,311Sep 11, 2026Updated last week
- A very fast linker for Linux☆3,987Updated this week
- Awesome Vulkan ecosystem☆3,717May 11, 2026Updated 4 months ago
- A GPU compute-centric 2D renderer.☆4,359Updated this week
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆5,113Aug 1, 2026Updated last month
- An experimental Rust native UI framework☆5,527Sep 14, 2026Updated last week