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 last year
Alternatives and similar repositories for stack-cs-activities
Users that are interested in stack-cs-activities are comparing it to the libraries listed below
Sorting:
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆29Jun 6, 2024Updated last year
- 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…☆21Mar 21, 2021Updated 4 years ago
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- Small framework for unit testing C programs written in C.☆14Apr 27, 2021Updated 4 years ago
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45May 12, 2022Updated 3 years ago
- Research initiative to make TLS certificate validation usable.☆22May 10, 2024Updated last year
- Opinionated C++20 embedded library☆25Jan 24, 2026Updated last month
- ☆32Sep 29, 2025Updated 5 months ago
- This Arduino library sends feedback information from a decoder to the master station via the (Lenz) RS-bus.☆10Jun 14, 2025Updated 8 months ago
- Theses-Checker is a tool for students and teachers alike to check theses for frequent typographical errors and see content analysis for q…☆16Jan 5, 2026Updated last month
- Thank you LenAnderson I am yoinking this!☆20Jan 13, 2026Updated last month
- Basic React-Webpack4 boilerplate with classic file structure for React/Redux application .☆11Dec 29, 2022Updated 3 years ago
- 【Join our constellation of stargazers!⭐️】An interactive AI-powered story generator that creates dynamic narratives through collaborative …☆12Jul 9, 2025Updated 7 months ago
- Tool for advanced mining for content on Github☆28Nov 11, 2025Updated 3 months ago
- ☆11Dec 21, 2025Updated 2 months ago
- Personal Portfolio made with ☕+❤. Built with Next.js + TypeScript.☆12Dec 26, 2025Updated 2 months ago
- NixOS Installer☆10Feb 28, 2023Updated 3 years ago
- This repository serves as a central hub for discovering tools and services focused on automated prompt engineering. Whether you're lookin…☆14Oct 11, 2024Updated last year
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- A CLI tool that creates gradient ASCII art from text with FIGlet and style.☆11Mar 7, 2023Updated 2 years ago
- ☆11May 24, 2023Updated 2 years ago
- Repository for my dotfiles☆12Dec 3, 2025Updated 2 months ago
- Graphics filters for awesome - blurring, shadows and more☆10Jul 29, 2023Updated 2 years ago
- My customize configuration for awesomeWM, mirror from Gitlab☆11Mar 10, 2023Updated 2 years ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 3 months ago
- 🌈 Simple portfolio website inspired by neubrutalism design☆13Feb 15, 2023Updated 3 years ago
- Gentoo System and Image Builder☆11May 10, 2023Updated 2 years ago
- ☆15Feb 1, 2026Updated last month
- A curated list of tools to help you make the best color palettes☆11Apr 14, 2024Updated last year
- Gives you a CLI menu with some common maintenance options inside an Arch Linux system☆10Feb 14, 2021Updated 5 years ago
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Updated this week
- 😎 Easily Create your own NPM Card.☆10Jan 8, 2023Updated 3 years ago
- My effort to keep myself on nixos while having a comfy and crazy workstation☆10Jul 8, 2024Updated last year
- 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
- BLAZINGLY typical, personal neovim config☆12Feb 23, 2026Updated last week
- A major enhancement and partial rewrite of the existing Objective extension for SillyTavern.☆27Mar 17, 2025Updated 11 months ago
- Userscripts developed by me☆17Dec 25, 2024Updated last year
- ☆10Feb 1, 2022Updated 4 years ago
- Universal, automatic, pain-free installer for ArchLinux ARM☆10Mar 18, 2022Updated 3 years ago