pierreganty

followers

following

stars

@imdea-software

Spain

http://software.imdea.org/~pierreganty/

Organizations

imdea-software

Pierre Ganty's starred repositories

gitignore

A collection of useful .gitignore templates

CC0-1.0161536 33600

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Language:PythonMIT46165 850 99

jitsi-meet

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

Language:TypeScriptApache-2.022977 503 6342

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

Language:SchemeApache-2.010606 46 2069

penrose

Create beautiful diagrams just by typing notation in plain text.

Language:TypeScriptMIT7453 117 754

nannou

A Creative Coding Framework for Rust.

Language:Rust5998 83 526

zotero-better-bibtex

Make Zotero effective for us LaTeX holdouts

Language:TypeScriptMIT5258 47 2198

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Language:CNOASSERTION3934 41 454

computer-vision-basics-in-microsoft-excel

Computer Vision Basics in Microsoft Excel (using just formulas)

NOASSERTION2394 64 3

documents

Decentralized Privacy-Preserving Proximity Tracing -- Documents

Language:Shell2246 144 281

osmc

OSMC (Open Source Media Center) is a free and open source media center distribution

Language:CGPL-2.01643 132 362

texlab

An implementation of the Language Server Protocol for LaTeX

Language:RustGPL-3.01523 14 379

gitpr

Quick reference guide on fork and pull request workflow

Language:Makefile956 27 5

stage0

A set of minimal dependency bootstrap binaries

Language:AssemblyGPL-3.0921 29 20

pocl

pocl - Portable Computing Language

Language:CMIT917 79 745

dot-to-ascii

Graphviz to ASCII converter using Graph::Easy

Language:HTMLMIT444 13 5

Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Language:ErlangBSD-2-Clause332 17 139

mathemagic

Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry

Language:JavaScript279 9 1

dk.brics.automaton

dk.brics.automaton - finite-state automata and regular expressions for Java

Language:JavaNOASSERTION211 24 33

ldraw.rs

The complete LDraw software suite written in Rust.

Language:RustMIT115 4 1

QED

Repository for the QED interactive text and possible extensions

preForth

a minimalistic Forth kernel that can bootstrap

Language:ForthGPL-3.074 11 5

LoopInvGen

Generates loop invariants for program verification

Language:OCamlMIT56 6 5

ltsmin

The LTSmin model checking toolset

Language:CBSD-3-Clause52 13 165

shadergif

ShaderGif is a free and open source home for art made with code

Language:JavaScriptGPL-3.035 4 87

verba

Explora los Telediarios de RTVE desde 2014

Language:HTMLAGPL-3.031 9 98

cachequery

HW interface for memory caches

Language:CApache-2.026 20

polca

Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.

Language:JavaApache-2.016 2 1

electrod

Formal analysis for the Electrod formal specification language

Language:OCamlNOASSERTION13 2 8

zearch

Zearch is a regular expression engine that takes in input a regular expression and a grammar-based compressed text and returns every line of the uncompressed text containing a match for the regular expression.

Language:HTMLGPL-3.05 2 1