Skip to content
View arthaud's full-sized avatar
272 followers · 41 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Organizations

@ToulouseHackingConvention @NASA-SW-VnV

Block or report arthaud

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • git-dumper Public

    A tool to dump a git repository from a website

    git security web
    Python 1,915 259 MIT License Updated Nov 23, 2024

  • risk-win-probability Public

    Python script to compute win probabilities in Risk - the board game.

    Python Updated Dec 26, 2023

  • ikos Public

    Forked from NASA-SW-VnV/ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    C++ Other Updated Dec 13, 2023

  • pytorch Public

    Forked from pytorch/pytorch

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    Python Other Updated Nov 3, 2023

  • sapp Public

    Forked from facebook/sapp

    Post Processor for Facebook Static Analysis Tools.

    Python 1 MIT License Updated Sep 11, 2023

  • Bogofilter-Score Public

    Forked from friedPotat0/Spam-Scores

    Thunderbird add-on to display the bogofilter spam scores according to mail headers. The add-on adds a column with the overall spam score to the mail list view and shows details of any matched spam/…

    JavaScript Other Updated Sep 9, 2023

  • c2bf Public

    Compiler from C to brainfuck

    OCaml 217 12 GNU General Public License v2.0 Updated May 21, 2023

  • min-max Public

    Min-max algorithm for game theory

    C++ 3 MIT License Updated Jul 1, 2022

  • typeshed Public

    Forked from python/typeshed

    Collection of library stubs for Python, with static types

    Python Other Updated May 27, 2021

  • redex Public

    Forked from facebook/redex

    A bytecode optimizer for Android apps

    C++ MIT License Updated May 27, 2021

  • python3-pwntools Public archive

    Forked from Gallopsled/pwntools

    CTF framework and exploit development library in python3 (pwntools and binjitsu fork)

    Python 282 41 Other Updated Jan 4, 2020

  • x509-parser Public

    Forked from ANSSI-FR/x509-parser

    a RTE-free X.509 parser

    C Other Updated Jun 26, 2019

  • awesome-static-analysis Public

    Forked from analysis-tools-dev/static-analysis

    A curated list of static analysis tools, linters and code quality checkers for various programming languages

    4 1 Updated May 10, 2018

  • hg-dumper Public

    A tool to dump a mercurial repository from a website

    Python 5 3 MIT License Updated Aug 5, 2017

  • sv-benchmarks Public

    Forked from sosy-lab/sv-benchmarks

    Collection of Verification Tasks

    C Updated Jan 11, 2017

  • snowman Public

    Forked from yegord/snowman

    Snowman decompiler

    C++ Updated Oct 20, 2016

  • pytmux Public

    Proof of concept of a tmux clone in python

    Python 2 Updated Feb 26, 2016

  • pycrypto Public

    Forked from pycrypto/pycrypto

    The Python Cryptography Toolkit

    Python 1 1 Other Updated Jan 8, 2016

  • yaourt Public

    Forked from archlinuxfr/yaourt

    A Pacman frontend with more features and AUR support

    Shell Updated Dec 18, 2015

  • formatstring Public

    Format string exploitation helper

    python security exploitation formatstring
    Python 45 3 MIT License Updated Nov 16, 2015

  • pipobot-modules Public

    Forked from pipoteam/pipobot-modules

    Some modules that can be used with 'pipobot', a modular bot for Jabber MUCs

    Python Updated Aug 25, 2015

  • brainfuck-cpu Public

    Let's suppose the assembly language is brainfuck!

    Shell 3 2 MIT License Updated Jul 26, 2015

  • raytracer Public

    A simple raytracer made in Java.

    Java 4 Updated Jul 12, 2015

  • Tomb Public

    Forked from dyne/tomb

    the Crypto Undertaker

    Shell GNU General Public License v3.0 Updated Apr 20, 2015

  • microc Public

    MicroC is a simple compiler in C++ from a subset of C to x86_32

    C++ 5 3 MIT License Updated Apr 11, 2015

  • moc Public

    Micro Objective-C compiler

    Java 8 Updated Mar 5, 2015

  • spotify-next Public

    A web server to vote for moving to the next music on spotify.

    Python 2 1 GNU General Public License v2.0 Updated Nov 6, 2014

  • pidgin-typing-speed Public

    A python script to estimate the typing speed of your pidgin contacts.

    Python MIT License Updated Aug 24, 2014

  • egg Public

    Extended Generator Generator

    Java 2 3 GNU General Public License v2.0 Updated Apr 22, 2014

  • pyeasychat Public

    A light console based chat.

    Python 2 1 Updated Apr 20, 2014