pierreganty

Pierre Ganty's starred repositories

tldraw

SDK for creating whiteboards and canvas experiences on the web.

Language:TypeScriptNOASSERTION35381 153 1207

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Language:C++NOASSERTION12152 240 9621

awesome-cold-showers

For when people get too hyped up about things

NOASSERTION7272 218 22

love

LÖVE is an awesome 2D game framework for Lua.

Language:C++NOASSERTION4943 75 1951

awk-raycaster

Pseudo-3D shooter written completely in gawk using raycasting technique

Language:AwkMIT2412 43 6

kani

Kani Rust Verifier

Language:RustApache-2.02186 22 1647

graphviz

Simple Python interface for Graphviz

Language:PythonMIT1625 32 177

yt-fts

YouTube Full Text Search - Search all of a YouTube channel from the command line

Language:PythonUnlicense1596 12 87

Silice

Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

Language:C++NOASSERTION1288 46 200

dune3d

3D CAD application

Language:CGPL-3.0960 17 89

asymptote

2D & 3D TeX-Aware Vector Graphics Language

Language:CGPL-3.0550 32 400

psst

Paper-based Secret Sharing Technique

Language:PythonMIT437 5 6

texmath

A Haskell library for converting LaTeX math to MathML.

Language:HaskellGPL-2.0316 14 168

cfrs

An extremely minimal drawing language consisting of only 6 simple commands: C, F, R, S, [, and ].

Language:HTMLMIT242 3 4

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

Language:OCamlNOASSERTION227 17 72

awk-webserver

A simple webserver, written in GNU awk, that supports directory listing and download of file from the directory where it is launched

Language:Awk211 6 1

learnlib

A free, open-source Java library for automata learning algorithms

Language:JavaApache-2.0200 16 59

st

Command Space-Time explorer

Language:C++MIT191 5 9

freeship-plus-in-lazarus

FreeShip Plus in Lazarus

Language:PascalGPL-3.0184 26 110

vi

The original source code of the vi text editor, taken from System V

Language:C159 2 1

ipe

The Ipe extensible drawing editor

Language:C++143 8 514

pfr

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

Language:LeanApache-2.0133 6 3

avnav

using the raspberry pi as a nav computer

Language:JavaScriptMIT87 11 315

freeboard-sk

Chartplotter implementation for Signal K servers

Language:TypeScriptApache-2.037 19 148

vesc_m365_dash

The VESC 6.0 Lisp implementation of the M365/NineBot BLE compability script

Language:Common LispGPL-3.031 4 6

bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

Language:TeXCC-BY-4.016 5 3

Walnut

Language:JavaGPL-3.09 1 6

FORKLIFT

The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

Language:JavaGPL-3.09 10

bldc

Modified VESC control firmware for Pedal-assist Implementation

Language:C5 10

automata-theory

An implementation for solving the equivalence problem for linear tree-to-word transducers from the field of automaton theory.

Language:Java3 10