Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
☆28Jun 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.☆12Sep 28, 2026Updated last month
- Automatic problem solver based on circuit-like representation and genetic programming☆14Jan 5, 2018Updated 8 years ago
- Webstránka veřejných infografik o změně klimatu světa☆36Oct 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distributed Metamorphic Robots☆42Jul 9, 2026Updated 3 months ago
- Main technological server for hJOP.☆11Oct 18, 2026Updated 2 weeks ago
- Collection of open-source JavaCard crypto algorithms. Optimized for memory and speed with unified interface☆14Oct 6, 2024Updated 2 years ago
- LLVM to JavaCard Compiler☆13Feb 26, 2026Updated 8 months ago
- Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for auto…☆10Oct 19, 2022Updated 4 years ago
- ☆10Aug 15, 2025Updated last year
- A Python script that downloads XKCD comics and converts them to a .mobi e-book☆16Jun 18, 2018Updated 8 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆22Sep 29, 2026Updated last month
- Formal semantics of LLVM IR in K☆52Jun 13, 2018Updated 8 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.
- Backend for KSI web written in Python.☆12May 9, 2026Updated 5 months ago
- Intelligent web app for learning programming☆11Mar 29, 2021Updated 5 years ago
- Profiler for JavaCard code and a rewrite of OpenCryptoProject/JCProfiler with easier usage and much more!☆16Sep 29, 2026Updated last month
- JavaCard implementation of Ed25519 signature algorithm for smartcards that do not support EdDSA algorithm introduced in JavaCard API vers…☆17Jul 16, 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
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 7 years ago
- Python wrapper around pdflatex☆30Mar 25, 2016Updated 10 years ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 9 years ago
- ☆13Feb 1, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Intrusion Detection System (IDS) for Wireless Sensor Networks (WSN)☆19Apr 5, 2013Updated 13 years ago
- Simple widget to change the default audio output device/sink.☆20Nov 21, 2022Updated 3 years ago
- A repository of tools for verifying constant-timeness☆20Feb 4, 2026Updated 8 months ago
- Photo Gallery for Google Drive☆20Jan 13, 2016Updated 10 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Aug 5, 2016Updated 10 years ago
- A refactor of the original library to be much more object oriented, with derived classes for each different hardware interface☆21Jul 27, 2026Updated 3 months ago
- ☆16Jun 17, 2022Updated 4 years ago
- Metabolomics experimental design, sample metadata configuration, and sample data acquisition.☆11Jun 28, 2018Updated 8 years ago
- A processing pipeline for the summarization, normalization and diagnostics of mass spectrometry–based metabolomics data.☆10Jan 17, 2026Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 6 months ago
- Convert MSP files into a database☆10May 4, 2021Updated 5 years ago
- Context and recommendations for using Claude code for bioinformatics☆16Jun 24, 2025Updated last year
- Distributed Privacy Guard (DKGPG) implements Distributed Key Generation (DKG) and Threshold Cryptography for OpenPGP☆21Dec 18, 2022Updated 3 years ago
- Simon's Data Club - Reference data for Galaxy servers☆11Updated this week
- Planemo scripting to monitor repositories and register tool containers.☆11Sep 23, 2026Updated last month