FreeTikZ
☆43Feb 2, 2018Updated 8 years ago
Alternatives and similar repositories for freetikz
Users that are interested in freetikz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TxtAIEditor - Fast, Free Text & Markdown Editor for Windows. Edit large files, preview Markdown, compare changes, and use AI agent — all …☆16Updated this week
- Repositório da disciplina Programação Orientada a Objetos ministrada por Fabricio Santana no 3º semestre da graduação em Ciência da Compu…☆22Oct 23, 2026Updated 2 weeks ago
- PDF CLI pipeline: merge, split, crop, rotate, compress, extract images, add text and more. Modern pdftk replacement, powered by pikepdf/q…☆18Oct 12, 2026Updated 3 weeks ago
- A perl script for searching and replacing in mathematics in LaTeX documents.☆13Mar 31, 2026Updated 7 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 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.
- .dvi previewer in JavaScript (with jQuery)☆21Nov 27, 2014Updated 11 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆66Jul 17, 2026Updated 3 months ago
- Pandoc filter to convert math to SVG using MathJax-node's tex2svg☆21Dec 12, 2016Updated 9 years ago
- Base code for writing blender addons in clojure☆12Jun 23, 2020Updated 6 years ago
- ☆16Oct 13, 2026Updated 3 weeks ago
- Xfce is a lightweight desktop environment for UNIX-like operating systems. It aims to be fast and low on system resources, while still be…☆12Aug 31, 2021Updated 5 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- ☆17Dec 9, 2025Updated 10 months ago
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Updated this 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.
- Julia wrapper for the AMD Optimizing CPU Libraries☆11Aug 6, 2026Updated 3 months ago
- Compilation and Verification of Data-Centric Languages☆61Jul 17, 2024Updated 2 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 3 years ago
- State machines with async I/O capabilities☆12Apr 13, 2023Updated 3 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆13Sep 27, 2021Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- An experimental implementation of autograd in Rust☆12Sep 23, 2024Updated 2 years ago
- Projeto Carômetro: Repositório de informações de pessoas com foto associada.☆14Apr 22, 2025Updated last year
- Fork of IcePDF library, maven build and additional print support☆15May 7, 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.
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Japanese telephony speaking clock for Asterisk (or any applications supporing G.711 mu-law).☆12Mar 6, 2024Updated 2 years ago
- ☆10Aug 1, 2026Updated 3 months ago
- pgf/TikZ diagram editor☆1,253Apr 17, 2024Updated 2 years ago
- Python-based data collection and relational storage tool for Open Source Community Health data and CHAOSS metrics☆16Updated this week
- The beautiful theme based on the Kanazawa painting.☆14Oct 9, 2025Updated last year
- The fastest Tropical number matrix multiplication on GPU☆12Sep 8, 2026Updated last month
- 🎨 A Vim colorscheme inspired by the popular kanagawa.nvim theme☆15Oct 19, 2026Updated 2 weeks ago
- Statistics for opening_hours in OSM.☆12Aug 7, 2020Updated 6 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.
- 🔵 QUBO Annealing & Sampling MOI Interfaces☆15Apr 4, 2023Updated 3 years ago
- Package to simulate 2D quantum systems at finite temperatures using cluster expansions☆10Updated this week
- Just simple dotfiles with qtile☆14Oct 24, 2024Updated 2 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 5 years ago
- Template for a (PhD) thesis☆13Nov 5, 2025Updated last year