Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆29Jun 6, 2024Updated last year
Alternatives and similar repositories for reflective-diary
Users that are interested in reflective-diary are comparing it to the libraries listed below
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 last year
- Research initiative to make TLS certificate validation usable.☆22May 10, 2024Updated last year
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated last month
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- ISO 690 style for biblatex.☆99Sep 28, 2025Updated 5 months ago
- Distributed Metamorphic Robots☆41Mar 10, 2026Updated last week
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆13Oct 6, 2024Updated last year
- Formal semantics of LLVM IR in K☆48Jun 13, 2018Updated 7 years ago
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Jun 20, 2024Updated last year
- Python wrapper around pdflatex☆30Mar 25, 2016Updated 9 years ago
- Backend for KSI web written in Python.☆12Mar 14, 2026Updated last week
- 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
- javacard framework in python☆19Nov 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
- Curated list of open-source TPM (Trusted Platform Module) applications☆28Dec 12, 2021Updated 4 years ago
- Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).☆25Updated this week
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆17Nov 11, 2025Updated 4 months ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 8 years ago
- JavaCard project template for building CAP and running JCardSim with gradle + coverage☆19Mar 24, 2024Updated last year
- we're auditing cars, or something☆11Nov 19, 2024Updated last year
- ☆12May 2, 2022Updated 3 years ago
- ☆33Sep 29, 2025Updated 5 months ago
- A fuzzer for APDU-based smartcard interfaces☆21Mar 16, 2025Updated last year
- A Discord bot that helps you discover skills and interests among people in your community☆14Apr 9, 2022Updated 3 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
- Holochain crate to implement general turn-based games with global DHT validation☆10Jan 8, 2023Updated 3 years ago
- Sparse Matrix-Vector Multiplication implementations in C☆22Dec 7, 2022Updated 3 years ago
- wiThrottle-compatible hardware controller☆25Jan 12, 2026Updated 2 months ago
- Code from my blog post, Up and Running with React + Rust + Wasm☆11Feb 26, 2019Updated 7 years ago
- Test whether the "focus" mechanism is a valuable addition to attention☆12Dec 8, 2022Updated 3 years ago
- SIFA-based attacks on AES☆38Dec 14, 2024Updated last year
- Performance profiler for Java Card code☆31Oct 19, 2025Updated 5 months ago
- A fast scenario test orchestrator for dev purposes☆12May 10, 2021Updated 4 years ago
- A quick start for using Holochain and GraphQL☆11Mar 23, 2019Updated 7 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Converts provided SVG to bitmap and slices it into tiles for use e.g. in Leaflet. Supports UTFGrid.☆23Apr 15, 2016Updated 9 years ago
- Personas & Profiles UI in Vue☆10Oct 25, 2024Updated last year
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- Simple app for exploring holochain architecture☆12Nov 2, 2018Updated 7 years ago