Exercises and exam solutions for programming in C and Dafny (1st-year CS course)
☆25Jan 23, 2026Updated 2 months 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:
- Some badges I created for my GitHub profile readme.☆523Aug 14, 2024Updated last year
- Modules and schemes to make theming with Nix awesome.☆587May 23, 2024Updated last year
- terminal mail client, mirror of https://git.meli-email.org/meli/meli.git https://crates.io/crates/meli☆847Jan 26, 2026Updated last month
- Run docker-compose with help from Nix/NixOS☆871Mar 5, 2026Updated 2 weeks ago
- A customizable TUI display/login manager written in Rust 🐒☆1,251Mar 14, 2026Updated last week
- Personal nixos and home-manager configurations.☆1,234Mar 11, 2026Updated last week
- Multi-tenant Nix Binary Cache☆1,784Updated this week
- Graphical console greeter for greetd☆1,551Nov 12, 2024Updated last year
- Hypr is a tiling window manager written in modern C++.☆1,298Mar 28, 2024Updated last year
- Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]☆2,190Updated this week
- Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]☆2,937Updated this week
- 🔥 A Complete List of GitHub Profile Badges and Achievements 🔥☆2,777Aug 9, 2024Updated last year
- ranger-like terminal file manager written in Rust☆3,685Mar 8, 2026Updated 2 weeks ago
- Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a ple…☆11,736Updated this week
- Protect your data against global mass surveillance programs.☆3,920Mar 11, 2026Updated last week
- Curated list of Python resources for data science.☆4,595Mar 2, 2026Updated 3 weeks ago
- Fast, Declarative, Reproducible, and Composable Developer Environments using Nix☆6,558Updated this week
- Safe and rich Rust wrapper around the Vulkan API☆5,037Feb 5, 2026Updated last month
- Executes commands in response to file modifications☆6,849Mar 16, 2026Updated last week
- The SimpleLogin back-end and web app☆6,528Updated this week
- A Minecraft mod designed to improve frame rates and reduce micro-stutter☆5,505Updated 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,203Feb 18, 2026Updated last month
- Modernity meets insane extensibility. The future of organizing your life in Neovim.☆7,253Updated this week
- the champagne of beta embedded databases☆8,947Nov 4, 2025Updated 4 months ago
- Awesome LeetCode resources to learn Data Structures and Algorithms and prepare for Coding Interviews.☆16,065Nov 25, 2025Updated 3 months ago
- A data-first Rust-native UI design toolkit.☆9,726Feb 5, 2026Updated last month
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,000Mar 14, 2026Updated last week
- An alternative privacy-friendly YouTube frontend which is efficient by design.☆9,851Updated this week
- Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media☆24,400Oct 17, 2025Updated 5 months ago
- Lightweight coding agent that runs in your terminal☆65,974Updated this week
- Streaming music player that finds free music for you☆17,062Mar 16, 2026Updated last week
- A scrollable-tiling Wayland compositor.☆21,657Updated this week
- List of Data Science Cheatsheets to rule the world☆16,200Jul 18, 2024Updated last year
- A fast static site generator in a single binary with everything built-in. https://www.getzola.org☆16,748Mar 16, 2026Updated last week
- Nix, the purely functional package manager☆16,348Updated this week
- 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, …☆16,765Mar 6, 2026Updated 2 weeks ago
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆19,088Mar 13, 2026Updated last week
- A Rust compiler front-end for IDEs☆16,170Mar 16, 2026Updated last week
- An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.☆47,919Mar 14, 2026Updated last week