francoisschwarzentruber / tikzzzView external linksLinks
A tiny tikzzz editor in the browser
☆10Mar 29, 2025Updated 10 months ago
Alternatives and similar repositories for tikzzz
Users that are interested in tikzzz are comparing it to the libraries listed below
Sorting:
- Deployed version of Tableaunoir. Do not modify this repository.☆11Nov 16, 2025Updated 3 months ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 8 months ago
- Cours d'informatique en MP2I (OCaml, C, SQL)☆46Feb 10, 2026Updated last week
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 3 months ago
- Jupyter notebook extension that creates a canvas of a cell and allows to paint onto the contents so it could be used to explain some conc…☆13Jul 17, 2019Updated 6 years ago
- Programming Projects for Intermediate Learners☆13Sep 3, 2021Updated 4 years ago
- Computer Science In Real Life☆26Mar 18, 2017Updated 8 years ago
- Cours de NSI - Lycée François Mauriac - Bordeaux☆34Oct 12, 2021Updated 4 years ago
- An online blackboard 🖉 with fridge magnets 🌈🧲 for teaching, and making animations 🏃 and presentations ⎚. All of that in a lightweigh…☆202Nov 16, 2025Updated 3 months ago
- AIP assignment 3☆10Dec 24, 2022Updated 3 years ago
- Lempel-Ziv Complexity, fast implementations with Python (naive, Numba or Cython for speedup), Open-Source (MIT) :+1: →☆35Mar 31, 2021Updated 4 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- A code visualization tool for C++☆55Oct 27, 2025Updated 3 months ago
- ☆10Dec 17, 2025Updated 2 months ago
- Anya mousecape;阿尼亚mousecape;Klee可莉mousecape;Kal'tsit凯尔希mousecape...☆11Oct 27, 2022Updated 3 years ago
- Interactive demo of the Boyer-Moore string search algorithm☆12Jun 6, 2020Updated 5 years ago
- Tools for automated grading of python assignments.☆10Jul 6, 2019Updated 6 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- ⚛ opinionated electron application template☆11Jun 20, 2024Updated last year
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- Un thème pour créer un diaporama avec MARP☆39Sep 5, 2021Updated 4 years ago
- Matlab to Python converter☆13Aug 30, 2012Updated 13 years ago
- A library for working with Nintendo DS roms☆11Aug 9, 2019Updated 6 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- TTK website☆11Jan 8, 2026Updated last month
- Implementation of the X-armed Bandits algorithm, as detailed in the paper, "X-armed Bandits", Bubeck et al., 2011.☆11Jul 12, 2018Updated 7 years ago
- Hjson support for Sublime Text☆12Nov 26, 2018Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- VSCode extension to makes it possible to simulate numworks calculator.☆13Feb 4, 2025Updated last year
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ☆12May 22, 2016Updated 9 years ago
- récriture inclusive des textes en ligne☆15Dec 19, 2022Updated 3 years ago
- ActivityWatch bash and zsh watcher.☆10Dec 2, 2022Updated 3 years ago
- Fast IdEntification of State-of-The-Art models using adaptive bandit algorithms☆14Jul 15, 2022Updated 3 years ago
- A LaTeX package to run source code and command-line executable☆14Jan 24, 2025Updated last year