A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆26Jun 6, 2024Updated 2 years ago
Alternatives and similar repositories for stack-cs-activities
Users that are interested in stack-cs-activities are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 5 years ago
- Opinionated C++20 embedded library☆27May 25, 2026Updated 2 months ago
- Python library and CLI for interacting with ChiTuBox networked LCD resin printers (EPAX, AnyCubic Photon, etc)☆11Mar 21, 2020Updated 6 years ago
- ☆12Jun 12, 2026Updated last month
- Individual or small collections of files not requiring separate projects associated with YouTube channel KvvCreates (https://www.youtube.…☆16Feb 25, 2022Updated 4 years ago
- 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.
- This repo will contain the FULL SPI command structure for a TMC5160. To show all the stages of operation for a TMC5160 using only SPI com…☆12Sep 13, 2019Updated 6 years ago
- Development of a new Python scripting API for KiCad☆13Jan 15, 2018Updated 8 years ago
- Rename a KiCad project☆17Oct 5, 2021Updated 4 years ago
- A rust implementation of the va_list type from `stdarg.h`☆25May 28, 2025Updated last year
- Implementation of delimited control for C/C++☆28Nov 28, 2011Updated 14 years ago
- Alternative firmware for MKS DLP v1.1 / v2.0☆21Jun 1, 2021Updated 5 years ago
- My answers to the exercises in Learn Prolog Now!☆21Jul 14, 2015Updated 11 years ago
- Probe Screen for LinuxCNC☆22Dec 1, 2018Updated 7 years ago
- Formal semantics of LLVM IR in K☆51Jun 13, 2018Updated 8 years 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.
- ☆10Feb 1, 2022Updated 4 years ago
- ☆58Updated this week
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆336Feb 25, 2026Updated 5 months ago
- A collection of various widgets I've developed for awesomewm☆13May 21, 2020Updated 6 years ago
- PaintsChainer GIMP 2.8 plug-in☆10Jun 2, 2017Updated 9 years ago
- AI Powered Writing Tool☆11Mar 7, 2024Updated 2 years ago
- EMC near-field probe designs☆39Feb 6, 2021Updated 5 years ago
- Duktape Debugger for Visual Studio Code☆45Jan 7, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆10May 28, 2023Updated 3 years ago
- Framework to write Wayland compositors with Qt☆12Apr 5, 2024Updated 2 years ago
- Personal Portfolio made with ☕+❤. Built with Next.js + TypeScript.☆12Jul 5, 2026Updated last month
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 6 years ago
- Sources used to build the dppm packages☆15Jan 25, 2020Updated 6 years ago
- Universal, automatic, pain-free installer for ArchLinux ARM☆10Mar 18, 2022Updated 4 years ago
- Simple Multiboot Integrator powered by GRUB☆14Aug 1, 2016Updated 10 years ago
- Write your plots faster with this 'batteries-included' collection of Plotto plain text markdown files for Obsidian.md☆16Apr 11, 2022Updated 4 years ago
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- My effort to keep myself on nixos while having a comfy and crazy workstation☆13Jul 8, 2024Updated 2 years ago
- ☆14Aug 30, 2022Updated 3 years ago
- Graphics filters for awesome - blurring, shadows and more☆10Jul 29, 2023Updated 3 years ago
- Run macOS on QEMU/KVM. With OpenCore + Big Sur + Monterey + Ventura support now! Only commercial (paid) support is available now to avoid…☆14Oct 19, 2023Updated 2 years ago
- Repository for my dotfiles☆12May 6, 2026Updated 3 months ago
- A curated list of tools to help you make the best color palettes☆11Apr 14, 2024Updated 2 years ago
- A framework for Awesome WM config☆10Aug 22, 2021Updated 4 years ago