Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆29Jun 6, 2024Updated 2 years ago
Alternatives and similar repositories for reflective-diary
Users that are interested in reflective-diary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆26Jun 6, 2024Updated 2 years ago
- Research initiative to make TLS certificate validation usable.☆23May 10, 2024Updated 2 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated 7 months ago
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- Distributed Metamorphic Robots☆42Jul 9, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Main technological server for hJOP.☆11Updated this week
- This Arduino library sends feedback information from a decoder to the master station via the (Lenz) RS-bus.☆10Jul 29, 2026Updated last month
- Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!☆16Updated this week
- Formal semantics of LLVM IR in K☆51Jun 13, 2018Updated 8 years ago
- Intelligent web app for learning programming☆11Mar 29, 2021Updated 5 years ago
- Každý správný informatik má gitový repozitář s recepty.☆10Jul 6, 2025Updated last year
- Python wrapper around pdflatex☆30Mar 25, 2016Updated 10 years ago
- Backend for KSI web written in Python.☆12May 9, 2026Updated 3 months ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Nov 11, 2022Updated 3 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.
- ☆15Feb 15, 2023Updated 3 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Aug 5, 2016Updated 10 years ago
- javacard framework in python☆22Nov 18, 2022Updated 3 years ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 9 years ago
- A mass spectrometry package for Julia☆12Jul 22, 2026Updated last month
- JavaCard project template for building CAP and running JCardSim with gradle + coverage☆21Mar 24, 2024Updated 2 years ago
- R/Bioconductor package - STRUCT (STatistics in R Using Class Templates) Toolbox: An extensive set of data (pre-)processing and analysis m…☆11Apr 16, 2026Updated 4 months 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 4 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.
- ☆33Sep 29, 2025Updated 11 months ago
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- Holochain crate to implement general turn-based games with global DHT validation☆11Jan 8, 2023Updated 3 years ago
- Sparse Matrix-Vector Multiplication implementations in C☆22Dec 7, 2022Updated 3 years ago
- Registration of Galaxy Tools in Elixir☆12Jan 7, 2019Updated 7 years ago
- SIFA-based attacks on AES☆37Dec 14, 2024Updated last year
- R Interface to the ClassyFire REST API☆15Aug 21, 2026Updated last week
- CombiFF: automatized force-field optimization by the CSMS group at ETH Zürich☆19Sep 19, 2022Updated 3 years ago
- Test whether the "focus" mechanism is a valuable addition to attention☆12Dec 8, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code from my blog post, Up and Running with React + Rust + Wasm☆11Feb 26, 2019Updated 7 years ago
- Small library for JavaCard CAP file parsing and verification - MOVED to https://github.com/martinpaljak/ant-javacard☆19Nov 15, 2023Updated 2 years ago
- Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).☆32Updated this week
- Cell and line magic for PGF/TikZ-to-SVG rendering in Jupyter notebooks☆63Apr 18, 2024Updated 2 years ago
- Performance profiler for Java Card code☆32Oct 19, 2025Updated 10 months ago
- Visualizing and Analyzing Mass Spectrometry Related Data in Proteomics☆11Jun 3, 2025Updated last year
- A fast scenario test orchestrator for dev purposes☆12May 10, 2021Updated 5 years ago