Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆26Aug 28, 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:
- A framework for building Neovim plugins☆465Jun 6, 2024Updated 2 years ago
- Minimalistic program launcher☆480Aug 22, 2026Updated last week
- Nix binary cache implemented in rust (maintainer: @Mic92)☆597Updated this week
- A keyboard input remapper for Linux/Wayland systems, written by @wez☆643Aug 19, 2024Updated 2 years ago
- A zero-allocation no_std-compatible zero-cost way to add color to your Rust terminal☆807Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆885Updated this week
- Font introspection, complex text shaping and glyph rendering.☆871Jul 17, 2026Updated last month
- A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.☆1,452Aug 21, 2026Updated last week
- A customizable TUI display/login manager written in Rust 🐒☆1,354Jun 28, 2026Updated 2 months ago
- Personal monorepo. NixOS+home-manager configs, website, and other projects.☆1,335Updated this week
- Graphical console greeter for greetd☆1,760Aug 26, 2026Updated last week
- NIx Language server, an incremental analysis assistant for writing in Nix.☆1,904Jul 26, 2026Updated last month
- 📦 shippable application packaging☆2,107Updated this week
- youtube video renderer☆1,656Updated 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.
- Pure Rust multi-line text handling☆2,137Aug 8, 2026Updated 3 weeks ago
- Guide for using gfx-rs's wgpu library.☆1,959Jul 22, 2026Updated last month
- Multi-tenant Nix Binary Cache☆2,042Updated this week
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,390Updated this week
- 0 - 1 learn OpenClaw: sections to build an claw-AI agent from scratch☆3,315Jun 30, 2026Updated 2 months ago
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆3,298Updated this week
- Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need☆2,571Updated this week
- Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.☆3,680Updated this week
- SDL2 bindings for Rust☆2,950Mar 22, 2026Updated 5 months ago
- 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.
- Nostr Implementation Possibilities☆3,092Updated this week
- The original askama repo, please go to https://github.com/askama-rs/askama☆3,537Mar 11, 2025Updated last year
- A tiling window manager for Adventurers☆3,046Jul 21, 2026Updated last month
- ranger-like terminal file manager written in Rust☆3,724Aug 20, 2026Updated last week
- A template engine for Rust based on Jinja2/Django☆4,299Updated this week
- A very fast linker for Linux☆3,935Updated this week
- A powerful web framework built with a simplified design.☆4,432Updated this week
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆5,079Aug 1, 2026Updated last month
- Lightweight and blazing fast key-value database written in pure Dart.☆4,392Jun 28, 2024Updated 2 years ago
- 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.
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆7,461Updated this week
- [maintenance mode] A low-overhead Vulkan-like GPU API for Rust.☆5,399Feb 27, 2023Updated 3 years ago
- Executes commands in response to file modifications☆7,164Updated this week
- AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins☆14,436Aug 13, 2026Updated 2 weeks ago
- A data-first Rust-native UI design toolkit.☆9,709Apr 23, 2026Updated 4 months ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,913Updated this week
- Manage your dotfiles across multiple diverse machines, securely.☆21,413Updated this week