Solutions and other stuff from the university courses I attended.
☆14May 19, 2021Updated 5 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:
- ☆20Jul 17, 2023Updated 2 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆15Mar 26, 2024Updated 2 years ago
- 📕 A book about Algorithms and Data Structures (PL)☆20Aug 8, 2024Updated last year
- Simple, interpreted, dynamically-typed programming language☆28Oct 16, 2022Updated 3 years ago
- RISC-V out-of-order core for education and research purposes☆89Updated 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.
- An operating system developed at University of Wrocław targeting the RISC-V architecture.☆17Updated this week
- Command-Line Argument Parser for C++20☆29Apr 15, 2026Updated last month
- ☆15Dec 26, 2020Updated 5 years ago
- Multithread allocator for vulkan descriptor sets.☆28Mar 15, 2020Updated 6 years ago
- ☆44Dec 16, 2025Updated 5 months ago
- Materials for my Machine Learning course at University of Wroclaw☆41Jun 30, 2021Updated 4 years ago
- An experimental programming language that combines effect handlers and implicit parameters☆46Updated this week
- EGraphs in OCaml☆81Jan 20, 2024Updated 2 years ago
- Haskell library implementing "Data Types a la Carte"☆92Oct 20, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Nix flake for Neovim & Scala Metals☆104May 13, 2026Updated last week
- haskell source code visualizer☆101Feb 15, 2026Updated 3 months ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆115Nov 22, 2023Updated 2 years ago
- Neovim config from my Neovim Lua From Scratch playlist on YouTube☆91May 3, 2022Updated 4 years ago
- KDGpu is a thin wrapper around Vulkan to make modern graphics easier to learn and use☆157Mar 30, 2026Updated last month
- A sample project that uses the meson build system and integrates common c++ development tools.☆128Oct 17, 2020Updated 5 years ago
- Code Smell Dotfiles☆211Dec 10, 2025Updated 5 months ago
- A modern C++17 glTF 2.0 library focused on speed, correctness, and usability☆527Apr 20, 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.
- OpenGL Image (GLI)☆590Apr 5, 2026Updated last month
- Mathematical Components☆681May 15, 2026Updated last week
- Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android☆693Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆704May 4, 2026Updated 2 weeks ago
- efsw is a C++ cross-platform file system watcher and notifier.☆880May 10, 2026Updated last week
- Standard library for OCaml☆1,041Apr 17, 2026Updated last month
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,111Dec 18, 2024Updated last year
- Vulkan header files and API registry☆1,039May 15, 2026Updated last week
- The main repository for the FidelityFX SDK.☆1,672Mar 23, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Meta loader for Vulkan API☆1,827May 12, 2026Updated last week
- C++ Tip Of The Week☆1,661May 20, 2025Updated last year
- Verilator open-source SystemVerilog simulator and lint system☆3,622Updated this week
- The Vulkan API Specification and related tools☆3,261May 15, 2026Updated last week
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,485Updated this week
- Curated list of 20,000+ hours and 200+ free courses with certificates in IT, CS, Design and Business.☆4,731Jan 14, 2026Updated 4 months ago
- Learn make by example☆5,908Jun 2, 2025Updated 11 months ago