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:
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated last month
- Research initiative to make TLS certificate validation usable.☆22May 10, 2024Updated last year
- 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
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- KeyTerms centralized terminology management tool☆13Feb 7, 2019Updated 7 years ago
- Spellbound - your multilingual AI-powered writing assistant☆12May 12, 2025Updated 9 months ago
- ☆12Aug 29, 2020Updated 5 years ago
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- SODAR Core: A Django-based framework for building scientific data management web apps☆13Feb 19, 2026Updated last week
- Code for the paper "Spatio-temporal load shifting for truly clean computing"☆14Feb 4, 2025Updated last year
- hegel notes☆13Jan 22, 2023Updated 3 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
- A modern utility library with a strong emphasis on readability.☆11Jan 6, 2023Updated 3 years ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆10Sep 26, 2025Updated 5 months ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- ☆12Aug 17, 2020Updated 5 years ago
- ☆11Nov 26, 2025Updated 3 months ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- Extracts source from javascript frameworks with sourcemap information (containing the source)☆14Mar 28, 2019Updated 6 years ago
- ☆10Sep 11, 2020Updated 5 years ago
- A minimal but function demo app of a simple logistics system using holochain. (Work in progress)☆11Jan 3, 2023Updated 3 years ago
- An Obsidian starter kit for LessWrong, Effective Altruism, AI Alignment, etc.☆14Nov 12, 2022Updated 3 years ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆16Feb 12, 2026Updated 2 weeks ago
- Registration of Galaxy Tools in Elixir☆12Jan 7, 2019Updated 7 years ago
- A fast scenario test orchestrator for dev purposes☆12May 10, 2021Updated 4 years ago
- Script to store to the file-system JSON formatted Google-Keep notes.☆11Jan 11, 2019Updated 7 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Firmware for HARDWARIO Generic Node☆11Aug 23, 2022Updated 3 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- add 'use strict' on the top of js files - don't forget to be strict with javascript!☆12Nov 6, 2021Updated 4 years ago
- Visualizing and Analyzing Mass Spectrometry Related Data in Proteomics☆11Jun 3, 2025Updated 9 months ago
- An AutoHotkey v2 script to type the contents of the clipboard rather than paste it☆14Feb 27, 2023Updated 3 years ago
- Package for easily including Adsense Ad units in Laravel.☆12Apr 30, 2023Updated 2 years ago
- Functions in R for downloading real estate data from sreality.cz.☆11Jul 7, 2022Updated 3 years ago
- A News Digest Application☆12Sep 28, 2018Updated 7 years ago
- Test whether the "focus" mechanism is a valuable addition to attention☆12Dec 8, 2022Updated 3 years ago