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. 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☆36Mar 18, 2026Updated 3 weeks 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
- ☆33Sep 29, 2025Updated 6 months ago
- Main technological server for hJOP.☆11Mar 26, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated 2 months ago
- This Arduino library sends feedback information from a decoder to the master station via the (Lenz) RS-bus.☆10Jun 14, 2025Updated 9 months ago
- Backend for KSI web written in Python.☆12Mar 26, 2026Updated 2 weeks ago
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 2025Updated 9 months ago
- FromTo is a helper library that makes it simple to handle asynchronous actions with views for Android and Java/Kotlin.☆14Feb 25, 2016Updated 10 years ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 4 months ago
- Python library and CLI for interacting with ChiTuBox networked LCD resin printers (EPAX, AnyCubic Photon, etc)☆11Mar 21, 2020Updated 6 years ago
- ☆11Mar 12, 2026Updated 3 weeks ago
- Experimental MLIR based points-to analysis tool☆18Mar 25, 2026Updated 2 weeks ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆17Nov 11, 2025Updated 5 months ago
- A Python Library to interact with the Cell Collective API v2☆12Dec 8, 2022Updated 3 years ago
- 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
- my xmonad configuration☆12Oct 14, 2025Updated 5 months ago
- ☆20May 30, 2024Updated last year
- wiThrottle-compatible hardware controller☆25Jan 12, 2026Updated 2 months 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
- P3 & P1 IR Camera Support for Linux☆52Feb 7, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Basic OTA library for ESP32 and VSCode - PlatformIO☆19Nov 13, 2020Updated 5 years ago
- Verified Intermediate Representation☆39Updated this week
- My dotfiles and scripts☆21Mar 22, 2026Updated 2 weeks ago
- Main dwm. Status: [Active]☆18Jan 22, 2017Updated 9 years ago
- toolkit for the manipulation and analysis of Logical Qualitative Models of biological regulatory networks☆20Nov 13, 2025Updated 4 months ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆25Feb 14, 2026Updated last month
- Alternative firmware for MKS DLP v1.1 / v2.0☆21Jun 1, 2021Updated 4 years ago
- Timetables for model railway. Useful for meets with modules (like FREMO, Free-mo etc).☆35Feb 23, 2026Updated last month
- config files☆27Jan 20, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- EOL - end of life | Uloz.to quick multiple sessions downloader☆270Jan 27, 2024Updated 2 years ago
- explore rxcpp rewrite☆36Sep 22, 2016Updated 9 years ago
- Probe Screen for LinuxCNC☆21Dec 1, 2018Updated 7 years ago
- Xmipp is a suite of image processing programs, primarily aimed at single-particle 3D electron microscopy.☆43Updated this week
- Formal semantics of LLVM IR in K☆48Jun 13, 2018Updated 7 years ago
- The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks☆27Mar 24, 2026Updated 2 weeks ago
- Nobody owns (Maker)space.☆26Sep 28, 2021Updated 4 years ago