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:
- 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☆25Jan 24, 2026Updated last month
- Intelligent web app for learning programming☆11Mar 29, 2021Updated 4 years ago
- Backend for KSI web written in Python.☆12Mar 14, 2026Updated last week
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 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 2 months ago
- ☆11Mar 12, 2026Updated last week
- Notes from courses at FI MUNI.☆72Jun 15, 2022Updated 3 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- Individual or small collections of files not requiring separate projects associated with YouTube channel KvvCreates (https://www.youtube.…☆16Feb 25, 2022Updated 4 years ago
- 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
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 2 years ago
- Rename a KiCad project☆16Oct 5, 2021Updated 4 years ago
- Basic OTA library for ESP32 and VSCode - PlatformIO☆19Nov 13, 2020Updated 5 years ago
- Verified Intermediate Representation☆36Updated this week
- NuTo - yet another finite element library☆18Apr 17, 2019Updated 6 years ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆24Feb 14, 2026Updated last month
- Alternative firmware for MKS DLP v1.1 / v2.0☆21Jun 1, 2021Updated 4 years ago
- Distributed Metamorphic Robots☆41Mar 10, 2026Updated last week
- My answers to the exercises in Learn Prolog Now!☆21Jul 14, 2015Updated 10 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Jan 11, 2017Updated 9 years ago
- GitHub Action: new conda packages are built and uploaded to Anaconda when a new released or pre-released version is declared.☆24Feb 1, 2026Updated last month
- Formal semantics of LLVM IR in K☆48Jun 13, 2018Updated 7 years ago
- Personal dot files; GNU/Linux dots, OpenBSD's, bibliography and Emacs configurations.☆19Updated this week
- The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks☆27Mar 10, 2026Updated last week
- A CLI app for taking simple notes without ever leaving the terminal.☆12Jan 7, 2019Updated 7 years ago
- Sandbox for securly executing untrusted programs - DEPRECATED, use: https://github.com/ioi/isolate☆47Oct 20, 2017Updated 8 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆335Feb 25, 2026Updated 3 weeks ago
- Userscripts developed by me☆18Dec 25, 2024Updated last year
- Kernel Tuning Toolkit☆68Mar 9, 2026Updated last week
- EMC near-field probe designs☆34Feb 6, 2021Updated 5 years ago
- Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.☆10May 28, 2023Updated 2 years ago
- Framework to write Wayland compositors with Qt☆12Apr 5, 2024Updated last year
- Command line tool to generate CMakeLists.txt from STM32CubeMX project.☆31May 11, 2017Updated 8 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
- MyNote is a Neovim plugin that allows you to take notes in a floating window☆15Dec 11, 2025Updated 3 months ago
- widgets for awesomewm☆12Mar 11, 2026Updated last week