A tiny tikzzz editor in the browser
☆10Mar 29, 2025Updated 11 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.☆11Feb 28, 2026Updated last week
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Source code for student lectures on dependent type theory.☆12Jun 9, 2025Updated 9 months ago
- Cours d'informatique en MP2I (OCaml, C, SQL)☆47Feb 16, 2026Updated 3 weeks ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 4 months ago
- Programming Projects for Intermediate Learners☆13Sep 3, 2021Updated 4 years 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
- 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…☆202Updated this week
- Lempel-Ziv Complexity, fast implementations with Python (naive, Numba or Cython for speedup), Open-Source (MIT) :+1: →☆35Mar 31, 2021Updated 4 years ago
- AIP assignment 3☆10Dec 24, 2022Updated 3 years ago
- A modular and extensible scientific plotting toolkit for researchers.☆14Jan 18, 2026Updated last month
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- A code visualization tool for C++☆55Oct 27, 2025Updated 4 months ago
- ⚛ opinionated electron application template☆12Jun 20, 2024Updated last year
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- Tools for automated grading of python assignments.☆10Jul 6, 2019Updated 6 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- Interactive demo of the Boyer-Moore string search algorithm☆12Jun 6, 2020Updated 5 years ago
- Anya mousecape;阿尼亚mousecape;Klee可莉mousecape;Kal'tsit凯尔希mousecape...☆12Oct 27, 2022Updated 3 years ago
- ☆10Feb 23, 2026Updated 2 weeks ago
- Un thème pour créer un diaporama avec MARP☆39Sep 5, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- VSCode extension to makes it possible to simulate numworks calculator.☆13Feb 4, 2025Updated last year
- A LaTeX package to run source code and command-line executable☆14Jan 24, 2025Updated last year
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- Fast IdEntification of State-of-The-Art models using adaptive bandit algorithms☆14Jul 15, 2022Updated 3 years ago
- récriture inclusive des textes en ligne☆15Dec 19, 2022Updated 3 years ago
- A Julia package for evaluation of divergences between distributions☆10Feb 2, 2026Updated last month
- TTK website☆11Jan 8, 2026Updated 2 months ago
- Matlab to Python converter☆13Aug 30, 2012Updated 13 years ago
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- A Julia implementation of ▁▂▃▅▂▇ spark: simple printing of unicode trendlines☆10Nov 24, 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
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- A library for working with Nintendo DS roms☆11Aug 9, 2019Updated 6 years ago