Alternatives and similar repositories for freetikz

Users that are interested in freetikz are comparing it to the libraries listed below

• rocq-community / gaia

  View on GitHub
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆31Jun 27, 2025Updated 7 months ago
• prepa-colbert / 2223-MP2I-maths

  View on GitHub
  Documents pour le cours de maths MP2I 2022/2023
  ☆21May 7, 2023Updated 2 years ago
• david-christiansen / idris-interaction.rkt

  View on GitHub
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Nov 10, 2017Updated 8 years ago
• tripos-education / maths-tripos-questions

  View on GitHub
  Archive of questions from the Cambridge Mathematics Tripos
  ☆10Jun 6, 2022Updated 3 years ago
• ndc-dev / ndc-ime-dic

  View on GitHub
  日本十進分類法のIME辞書
  ☆11Dec 8, 2022Updated 3 years ago
• llelf / icfp2019-papers

  View on GitHub
  ICFP 2019 preprints/papers
  ☆44Jul 31, 2019Updated 6 years ago
• ctechols / vim-HideShow

  View on GitHub
  Interactive, regex-based folding
  ☆15Jun 15, 2015Updated 10 years ago
• TexasInstruments / simplelink-zephyr

  View on GitHub
  Texas Instruments SimpleLink downstream of https://github.com/zephyrproject-rtos/zephyr
  ☆11Feb 2, 2026Updated last week
• MakeMagazinDE / Preisrahmen

  View on GitHub
  ☆11Aug 26, 2024Updated last year
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆13Jan 26, 2023Updated 3 years ago
• Alicipy / CoffeeCaller

  View on GitHub
  This repository contains the CoffeeCaller source code repository, majorly for the TiaC CoffeeCaller Board
  ☆17Nov 23, 2025Updated 2 months ago
• MatthewObi / saturnlang

  View on GitHub
  A programming language written in Python and LLVMLite
  ☆11Apr 15, 2022Updated 3 years ago
• MarkReeder / heos-web

  View on GitHub
  HEOS Web Interface
  ☆11Aug 20, 2020Updated 5 years ago
• WeActStudio / WeActStudio.STM32U585Cx_CoreBoard

  View on GitHub
  STM32U585CIU6 Core Board
  ☆17Oct 22, 2024Updated last year
• taxue-vernon / MediaStateT

  View on GitHub
  一个多媒体系统的桌面端
  ☆11Feb 9, 2024Updated 2 years ago
• vsapy / vsapy

  View on GitHub
  Vector Symbolic Architecture library
  ☆11Mar 27, 2023Updated 2 years ago
• prof-spock / LilypondToBandVideoConverter

  View on GitHub
  Generator for Notation Backing Track Videos from Lilypond Files
  ☆10Oct 23, 2024Updated last year
• WeActStudio / STM32duino-bootloader

  View on GitHub
  Bootloader for STM32F103 boards, for use with the Arduino_STM32 repo and the Arduino IDE
  ☆12Aug 6, 2025Updated 6 months ago
• tengen-io / server

  View on GitHub
  Server implementation of the board game Go
  ☆13Mar 30, 2019Updated 6 years ago
• jimberlage / vawk

  View on GitHub
  A graphical tool for viewing stdout as a spreadsheet.
  ☆10Sep 7, 2021Updated 4 years ago
• aaron-p1 / virt-notes.nvim

  View on GitHub
  A neovim plugin to add notes or comments to any buffer
  ☆13Sep 10, 2023Updated 2 years ago
• rodrigopex / zbus_rs

  View on GitHub
  ☆10May 4, 2023Updated 2 years ago
• randalburns / jhupp-lectures

  View on GitHub
  Notebooks for JHU EN 601.320/420/620
  ☆10May 1, 2019Updated 6 years ago
• OpenLilyPondFonts / beethoven

  View on GitHub
  Beethoven Font for LilyPond
  ☆13Mar 28, 2016Updated 9 years ago
• ffminus / copper

  View on GitHub
  A constraint programming solver.
  ☆10Jan 10, 2024Updated 2 years ago
• marcottelab / protein_complex_maps_public

  View on GitHub
  Public repository for building and analyzing protein complex maps
  ☆11Dec 6, 2016Updated 9 years ago
• dankamongmen / CANalystII-SocketCAN

  View on GitHub
  Linux SocketCAN kernel module for the CANalyst II USB CAN adapter
  ☆12Jun 10, 2019Updated 6 years ago
• abo-abo / short-lambda

  View on GitHub
  Clojure-style anonymous function literal for Elisp
  ☆12Jan 21, 2015Updated 11 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• vardigroup / lisa

  View on GitHub
  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…
  ☆12Sep 27, 2021Updated 4 years ago
• tunnckoCore / parse-git-log

  View on GitHub
  Parse a `git log` output of a repository into an object with useful commit data. Supports plugins, streaming, promises and callback APIs.
  ☆12Jan 12, 2023Updated 3 years ago
• meinicke / VarexJ

  View on GitHub
  A Variability-Aware Interpreter for Java Applications
  ☆11Oct 13, 2020Updated 5 years ago
• rainermensing / py2drawio

  View on GitHub
  This is a simple script that parses python files in a directory and generates a mxfile containing a diagramm of classes, attributes and m…
  ☆11Feb 23, 2023Updated 2 years ago
• Qwof / tiktok-auto-claimer

  View on GitHub
  TikTok-AutoClaimer Working TikTok Username Auto-Claimer/Sniper/Swapper which will autoclaim username if it´s available Usage Python 3.6 …
  ☆10Dec 31, 2021Updated 4 years ago
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 9 months ago
• signheim / picoplasma

  View on GitHub
  Plasma Generator with scrolling text for Raspberry Pi Pico with Pimoroni Unicorn Pack
  ☆10Mar 22, 2021Updated 4 years ago
• metacraft-labs / py2nim_deprecated

  View on GitHub
  ☆12Apr 10, 2019Updated 6 years ago
• umar07 / Air-Paino

  View on GitHub
  Play piano through visual tracking of fingers through the air.
  ☆18Sep 3, 2021Updated 4 years ago
• baitisj / anki-voice-control

  View on GitHub
  Module based on PocketSphynx to allow simple voice commands when using Anki
  ☆10Oct 12, 2019Updated 6 years ago