Solutions and other stuff from the university courses I attended.
☆14May 19, 2021Updated 4 years ago
Alternatives and similar repositories for Kursy-UWr
Users that are interested in Kursy-UWr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes for the Type Systems course given in Autumn 2023☆15Mar 26, 2024Updated 2 years ago
- poradnik studiowania☆11Apr 24, 2026Updated last week
- Simple, interpreted, dynamically-typed programming language☆28Oct 16, 2022Updated 3 years ago
- RISC-V out-of-order core for education and research purposes☆87Updated this week
- An operating system developed at University of Wrocław targeting the RISC-V architecture☆16Apr 13, 2026Updated 2 weeks ago
- 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.
- Command-Line Argument Parser for C++20☆24Apr 15, 2026Updated 2 weeks ago
- Multithread allocator for vulkan descriptor sets.☆28Mar 15, 2020Updated 6 years ago
- ☆42Apr 9, 2026Updated 3 weeks ago
- ☆44Dec 16, 2025Updated 4 months ago
- An experimental programming language that combines effect handlers and implicit parameters☆44Apr 3, 2026Updated 3 weeks ago
- EGraphs in OCaml☆80Jan 20, 2024Updated 2 years ago
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆37Updated this week
- Haskell library implementing "Data Types a la Carte"☆92Oct 20, 2023Updated 2 years ago
- Nix flake for Neovim & Scala Metals☆103Apr 20, 2026Updated last week
- 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.
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆114Nov 22, 2023Updated 2 years ago
- KDGpu is a thin wrapper around Vulkan to make modern graphics easier to learn and use☆155Mar 30, 2026Updated last month
- Layer providing Vulkan features when native support is unavailable☆162Apr 21, 2026Updated last week
- HLSL Specifications☆221Updated this week
- ☆151Apr 15, 2026Updated 2 weeks ago
- 📚🇵🇱 A free, open-source utility for scraping data from the Synergia Librus (http://synergia.librus.pl/) electronic gradebook. Develope…☆189Apr 15, 2026Updated 2 weeks ago
- A Material 3 inspired desktop shell for Niri and Hyprland created with Ignis.☆620Jan 16, 2026Updated 3 months ago
- A modern C++17 glTF 2.0 library focused on speed, correctness, and usability☆520Apr 20, 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.
- Memory Manager For Small(ish) Microprocessors☆476Feb 25, 2025Updated last year
- Decompilation of Pokémon Diamond/Pearl☆493Dec 24, 2025Updated 4 months ago
- OpenGL Image (GLI)☆588Apr 5, 2026Updated 3 weeks ago
- Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android☆685Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆704Apr 20, 2026Updated last week
- efsw is a C++ cross-platform file system watcher and notifier.☆860Updated this week
- Standard library for OCaml☆1,033Apr 17, 2026Updated 2 weeks ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,111Dec 18, 2024Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,123Apr 25, 2026Updated last week
- 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.
- Vulkan header files and API registry☆1,032Updated this week
- A fast & densely stored hashmap and hashset based on robin-hood backward shift deletion☆1,368Feb 4, 2026Updated 2 months ago
- The main repository for the FidelityFX SDK.☆1,655Mar 23, 2026Updated last month
- The CompCert formally-verified C compiler☆2,159Updated this week
- C++ Tip Of The Week☆1,661May 20, 2025Updated 11 months ago
- The Vulkan API Specification and related tools☆3,256Updated this week
- Learn make by example☆5,907Jun 2, 2025Updated 11 months ago