Giters
Pierre Ganty (pierreganty)

pierreganty

Geek Repo

19

followers

7

following

319

stars

Company:@imdea-software

Location:Spain

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

Github PK Tool:Github PK Tool

Organizations
imdea-software

Pierre Ganty's starred repositories

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:83163Issues:977Issues:11885

learnGitBranching

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

Language:JavaScriptLicense:MITStargazers:30656Issues:521Issues:491

kickstart.nvim

A launch point for your personal nvim configuration

Language:LuaLicense:MITStargazers:19725Issues:106Issues:498

minetest

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

Language:C++License:NOASSERTIONStargazers:10783Issues:319Issues:7765

zotero

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Language:JavaScriptLicense:NOASSERTIONStargazers:10363Issues:136Issues:3438

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

Language:CLicense:GPL-3.0Stargazers:7147Issues:40Issues:935

RIOT

RIOT - The friendly OS for IoT

Language:CLicense:LGPL-2.1Stargazers:4935Issues:247Issues:3169

zotero-scihub

A plugin that will automatically download PDFs of zotero items from sci-hub

Language:TypeScriptLicense:AGPL-3.0Stargazers:3548Issues:44Issues:70

firmware

Meshtastic device firmware

Language:C++License:GPL-3.0Stargazers:3534Issues:120Issues:1796

awesome-healthcare

Curated list of awesome open source healthcare software, libraries, tools and resources.

License:CC0-1.0Stargazers:2696Issues:160Issues:26

OpenCPN

A concise ChartPlotter/Navigator. A cross-platform ship-borne GUI application supporting * GPS/GPDS Postition Input * BSB Raster Chart Display * S57 Vector ENChart Display * AIS Input Decoding * Waypoint Autopilot Navigation

Language:CLicense:GPL-2.0Stargazers:1052Issues:73Issues:1882

herbie

Optimize floating-point expressions for accuracy

Language:HTMLLicense:NOASSERTIONStargazers:770Issues:33Issues:124

homebrew-cask-drivers

💀 Casks of Drivers (deprecated)

License:UnlicenseStargazers:458Issues:13Issues:55

smack

SMACK Software Verifier and Verification Toolchain

Language:CLicense:NOASSERTIONStargazers:431Issues:24Issues:453

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language:PythonLicense:MITStargazers:313Issues:12Issues:175

pypilot

free autopilot for sailboats written in python supporting signalk

Language:PythonStargazers:237Issues:43Issues:162

ergex

The Ergex Regular Expression Library

Language:RustLicense:LGPL-2.1Stargazers:122Issues:3Issues:5

lispBM

An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.

Language:CLicense:GPL-3.0Stargazers:90Issues:8Issues:7

mCRL2

The Git repository for the mCRL2 toolset.

Language:C++License:BSL-1.0Stargazers:88Issues:11Issues:1709

online_chart

OpenSeaMap fullscreen browser chart.

Language:PHPStargazers:63Issues:17Issues:124

revizor

Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs

Language:PythonLicense:MITStargazers:42Issues:4Issues:4

Pecan

An automated theorem prover that uses Büchi automata.

Language:PythonLicense:MITStargazers:40Issues:5Issues:20

raspberryjammod-minetest

Raspberry Jam Mod for Minetest

Language:PythonLicense:NOASSERTIONStargazers:39Issues:10Issues:11

rat

🐀 Regular Expression Denial of Service analyzer.

Language:OCamlLicense:MITStargazers:24Issues:4Issues:0

epsilon

epsilon is a scanner generator

Language:PythonStargazers:21Issues:3Issues:0

raspberrymint

Raspberry Jam Mod for Minetest

Language:PythonLicense:NOASSERTIONStargazers:4Issues:1Issues:0

omegavplinc

Language:JavaLicense:GPL-3.0Stargazers:4Issues:1Issues:0

buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking

Language:Rich Text FormatStargazers:3Issues:2Issues:0

fadecider

A package for deciding universality and subsumption of omega automata using Ramsey-based methods.

Language:OCamlStargazers:3Issues:3Issues:1

multiplication-tables-practice

Children multiplication tables practice test with a Bash shell.

Language:ShellLicense:GPL-3.0Stargazers:2Issues:2Issues:0