vincent-hugot

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.

opam-repository

Package descriptions for OPAM

qtest

Inline (Unit) Tests for OCaml

vincent-hugot/qtest

Inline (Unit) Tests for OCaml

vincent-hugot/NFA_Framework

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

vincent-hugot/opam-repository

Package descriptions for OPAM

vincent-hugot/ApexCtl

An utility to enable extra macro keys on Steelseries Apex keyboards

vincent-hugot/astree

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

vincent-hugot/chrome-export-passwords

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

vincent-hugot/CIAA-2024-SAT-Completion

SAT-Based Automated Completion for Reachability Analysis

vincent-hugot/cpython

The Python programming language

vincent-hugot/edu-insa-4a-compilation-vm

vincent-hugot/er-patcher

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

vincent-hugot/fbpmn

:microscope: formal tools for BPMN

vincent-hugot/IncDFA_algorithm

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

vincent-hugot/lark

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

vincent-hugot/m2-crt

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

vincent-hugot/macropy

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

vincent-hugot/opam-packages

vincent-hugot/pampy

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

vincent-hugot/pdfScale

Bash Script to Scale and Resize PDFs using Ghostscript

vincent-hugot/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.

vincent-hugot/protonhax

Run programs inside your game proton's environment.

vincent-hugot/python_cryptanalysis

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

vincent-hugot/PyTricks

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

vincent-hugot/scikit-learn

scikit-learn: machine learning in Python

vincent-hugot/sharpkeys

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

vincent-hugot/sorting-visualizer-matplotlib

Scripts to visualize sorting algorithms using matplotlib animations

vincent-hugot/tlauc

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

vincent-hugot/TradCompilation

vincent-hugot/waifu2x-ncnn-vulkan

waifu2x converter ncnn version, runs fast on intel / amd / nvidia GPU with vulkan

vincent-hugot/youtube-dl

Command-line program to download videos from YouTube.com and other video sites

vincent-hugot/yuzu

Nintendo Switch emulator