vincent-hugot Goto Github PK

apexctl

An utility to enable extra macro keys on Steelseries Apex keyboards

astree

Visualize abstract syntax trees of methods, declarations, expressions, and more

browser-ponies

Reimplementation of Desktop Ponies in JavaScript

chrome-export-passwords

Show all your chromium passwords in format ready to import in other browser like FireFox

ciaa-2024-sat-completion

SAT-Based Automated Completion for Reachability Analysis

cpython

The Python programming language

edu-insa-4a-compilation-vm

er-patcher

Elden Ring enhancement patches (ultrawide support, custom frame rate limits and more) seamlessly integrated with steam.

gdeploy

Deploy gLite on Grid'5000

incdfa_algorithm

F#-implementation of algorithm for incremental construction of minimal deterministic finite automata through adding and removing strings.

lark

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

life

simple 2D/3D "game of life" implementation in python with python-ogre

m2-crt

Automatically exported from code.google.com/p/m2-crt

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

nfa_framework

NFA framework for INSA-CVL 4A class on Verification / Model-Checking

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

oneclickarchiver

OneClickArchiver

opam-packages

opam-repository

Package descriptions for OPAM

pampy

Pampy: The Pattern Matching for Python you always dreamed of.

pdfscale

Bash Script to Scale and Resize PDFs using Ghostscript

phpbb_mathjax

phpBB extension that enables users to post beautiful math in LaTeX and MathML, rendered in all major browsers using the MathJax JavaScript Library.

protonhax

Run programs inside your game proton's environment.

python_cryptanalysis

Cryptanalysis scripts for classical ciphers e.g. substitution, Vigenere etc. These are for practicalcryptography.com/cryptanalysis

pytricks

Collection of less popular features and tricks for the Python programming language

qtest

Inline (Unit) Tests for OCaml

scikit-learn

scikit-learn: machine learning in Python

sharpkeys

SharpKeys is a utility that manages a Registry key that allows Windows to remap one key to any other key.

sorting-visualizer-matplotlib

Scripts to visualize sorting algorithms using matplotlib animations

thyme

math/cs publications I find useful