pierreganty

pierreganty's Stars

• excalidraw/excalidraw

  Virtual whiteboard for sketching hand-drawn like diagrams

  Language:TypeScript88.1k4163.7k8.4k

• gnachman/iTerm2

  iTerm2 is a terminal emulator for Mac OS X that does amazing things.

  Language:Objective-C15.5k25101.2k

• johnfactotum/foliate

  Read e-books in style

  Language:JavaScript6.5k651k297

• N64Recomp/N64Recomp

  Tool to statically recompile N64 games into native executables

  Language:C++6.4k10973363

• sharkdp/cube-composer

  A puzzle game inspired by functional programming

  Language:PureScript2k234084

• brucemiller/LaTeXML

  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

  Language:Perl971361.5k100

• rossmoody/svg-gobbler

  Open source browser extension for finding, editing, exporting, optimizing, and managing SVG content.

  Language:TypeScript8721213531

• potamides/DeTikZify

  Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

  Language:Python5526518

• nimble-code/Spin

  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

  Language:C3761957131

• Matthias-Wandel/imgcomp

  Motion triggered timelapses for security camera

  Language:C353362245

• matthewhague/sat-css-tool

  Minify CSS files through refactoring

  Language:Python262212

• BurntSushi/rebar

  A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.

  Language:Python2336715

• IBM/jsonsubschema

  Tool for checking whether a JSON schema is a subschema of another JSON schema.

  Language:Python8981117

• will62794/tla-web

  Interactive, web-based environment for exploring and visualizing TLA+ specifications.

  Language:TLA855477

• imdea-software/htt

  Hoare Type Theory

  Language:Coq70895

• nst/PSChess

  A Chess Engine in PostScript

  Language:PostScript50501

• malikpiara/logicola

  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

  Language:TypeScript46271

• metisvela/sailtrack

  Performance Tracker for Racing Sailboats

  Language:HTML40661

• imdea-software/fcsl-pcm

  Partial Commutative Monoids

  Language:Coq26111913

• manospits/Phenesthe

  'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

  Language:Prolog21300

• adl/hoaf

  Hanoi Omega-Automata Format

  Language:TeX148501

• jmid/regexpanalyser

  Lattice valued regular expressions and an example analysis

  Language:OCaml10301

• MichalHe/amaya

  Language:SMT7350

• Marian-Braendle/ipe-copytools

  Tools to create different patterns in Ipe

  Language:Lua50

• Marian-Braendle/ipe-lassotool

  Ipelet implementing a lasso selection tool for the Ipe editor

  Language:Lua50

• ModelChecker/IL

  Description of Model Checking Intermediate Language

  Language:TeX52

• HyperQB/HyperQB

  The Bounded Model Checker HyperQB

  Language:C++3000

• ista-vamos/QuAK

  Quantitative Automata Kit

  Language:C++30

• Marian-Braendle/ipe-animate-views

  Ipelet to generate an animated GIF from IPE views

  Language:Lua10

• ravenbeutner/automata-benchmarks-from-hyperproperties

  1