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
- Webstránka veřejných infografik o změně klimatu světa☆36Jun 24, 2026Updated last week
- ☆33Sep 29, 2025Updated 9 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 25, 2021Updated 5 years 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.
- ☆17Feb 1, 2026Updated 5 months ago
- Deckbuilding and card simulator for the Gloomhaven board game☆16Feb 20, 2024Updated 2 years ago
- Basic OTA library for ESP32 and VSCode - PlatformIO☆19Nov 13, 2020Updated 5 years ago
- ☆17Dec 30, 2020Updated 5 years ago
- NuTo - yet another finite element library☆18Apr 17, 2019Updated 7 years ago
- Alternative firmware for MKS DLP v1.1 / v2.0☆21Jun 1, 2021Updated 5 years ago
- explore rxcpp rewrite☆36Sep 22, 2016Updated 9 years ago
- Probe Screen for LinuxCNC☆21Dec 1, 2018Updated 7 years ago
- ☆10Feb 1, 2022Updated 4 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.
- Formal semantics of LLVM IR in K☆50Jun 13, 2018Updated 8 years ago
- Personal dot files; GNU/Linux dots, OpenBSD's, bibliography and Emacs configurations.☆20Updated this week
- Nobody owns (Maker)space.☆26Sep 28, 2021Updated 4 years ago
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years 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
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆336Feb 25, 2026Updated 4 months ago
- A python script to clone a part of a layout in Pcbnew. I do not really maintain the code or monitor this repository actively but if you i…☆37Jan 23, 2019Updated 7 years ago
- 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
- 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.
- EMC near-field probe designs☆38Feb 6, 2021Updated 5 years ago
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆10May 28, 2023Updated 3 years ago
- My hyprland and quickshell rice heavily influenced by crylia theme!☆109Updated this week
- Sources used to build the dppm packages☆15Jan 25, 2020Updated 6 years ago
- Simple Multiboot Integrator powered by GRUB☆13Aug 1, 2016Updated 9 years ago
- Universal, automatic, pain-free installer for ArchLinux ARM☆10Mar 18, 2022Updated 4 years ago
- Write your plots faster with this 'batteries-included' collection of Plotto plain text markdown files for Obsidian.md☆17Apr 11, 2022Updated 4 years ago
- MyNote is a Neovim plugin that allows you to take notes in a floating window☆15Jun 23, 2026Updated last week
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- widgets for awesomewm☆13Mar 11, 2026Updated 3 months ago
- Keyboard-first dotfiles for terminal-centric development with tmux, Neovim, and coding agents.☆28Jun 25, 2026Updated last week
- My effort to keep myself on nixos while having a comfy and crazy workstation☆12Jul 8, 2024Updated last year
- ☆14Aug 30, 2022Updated 3 years ago
- Graphics filters for awesome - blurring, shadows and more☆10Jul 29, 2023Updated 2 years ago
- Reproducible development environment powered by Nix Flakes☆13Updated this week
- 【Join our constellation of stargazers!⭐️】An interactive AI-powered story generator that creates dynamic narratives through collaborative …☆13Jun 16, 2026Updated 2 weeks ago