Quentin Fortier's starred repositories
algorithm-visualizer
:fireworks:Interactive Online Platform that Visualizes Algorithms from Code
PaddleOCR
Awesome multilingual OCR toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools, support training and deployment among server, mobile, embedded and IoT devices)
chatbot-ui
AI chat for every model.
streamlit-extras
Discover, try, install and share Streamlit re-usable bits we call "extras"!
detexify-data
Instructions and license for Detexify's sample data
mknotebooks
A plugin for mkdocs to help you include Jupyter notebooks in your projects
typst-finite
Typst-setting finite automata with CeTZ.
proof-tree-builder.github.io
A web-based graphical proof assistant for LK and Hoare logic.
algorithmx
An event-driven library for network visualization and algorithm simulation.
ocaml-devcontainers
VSCode devcontainers for OCaml