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:
- My answers to the exercises in Learn Prolog Now!☆21Jul 14, 2015Updated 10 years ago
- ☆10Feb 1, 2022Updated 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Framework to write Wayland compositors with Qt☆12Apr 5, 2024Updated 2 years ago
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆10May 28, 2023Updated 3 years ago
- 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☆15Dec 11, 2025Updated 6 months ago
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 10 years ago
- 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.
- widgets for awesomewm☆13Mar 11, 2026Updated 3 months ago
- Keyboard-first dotfiles for terminal-centric development with tmux, Neovim, and coding agents.☆28Updated this 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
- Userscripts developed by me☆19Dec 25, 2024Updated last year
- Post jobs to a computing grid and store the results in a couch database local or remote☆16Mar 27, 2023Updated 3 years ago
- Repository for my dotfiles☆12May 6, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A curated list of tools to help you make the best color palettes☆11Apr 14, 2024Updated 2 years ago
- ☆11May 24, 2023Updated 3 years ago
- A framework for Awesome WM config☆10Aug 22, 2021Updated 4 years ago
- NixOS Installer☆10Feb 28, 2023Updated 3 years ago
- AI Powered Writing Tool☆11Mar 7, 2024Updated 2 years ago
- BLAZINGLY typical, personal neovim config☆13May 12, 2026Updated last month
- ☆13Aug 23, 2025Updated 9 months ago
- A tiny modern CSS reset.☆16Apr 21, 2026Updated last month
- Thank you LenAnderson I am yoinking this!☆27May 3, 2026Updated last month
- 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.
- Void (Linux) installation ISO with additional programs☆14Dec 21, 2023Updated 2 years ago
- Gives you a CLI menu with some common maintenance options inside an Arch Linux system☆10Feb 14, 2021Updated 5 years ago
- Gentoo System and Image Builder☆11May 10, 2023Updated 3 years ago
- Book Quick Starter Kit - Write Your Own Book in Plain Text (with Markdown)☆20Jul 4, 2016Updated 9 years ago
- Create customized email signatures☆18Dec 10, 2022Updated 3 years ago
- Juice Jacking / Automatic Android Rooting based on Intel Edison using dirty c0w☆11Nov 16, 2016Updated 9 years ago
- Use this project to create your own random prompts for Stable Diffusion! Besides, you'll be able to add your own adjectives, objects and …☆11Sep 28, 2023Updated 2 years ago