arthaud

arthaud's Stars

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust50.4k2071.4k1.3k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM30k58179.2k12.4k

• gabime/spdlog

  Fast C++ logging library.

  Language:C++24.9k4412.2k4.6k

• VSCodeVim/Vim

  :star: Vim for Visual Studio Code

  Language:TypeScript14.1k1265.9k1.3k

• mame/quine-relay

  An uroboros program with 100+ programming languages

  Language:Ruby14.1k23692559

• rigtorp/awesome-modern-cpp

  A collection of resources on modern C++

  Language:HTML12k494201.2k

• facebook/pyre-check

  Performant type-checking for python.

  Language:OCaml6.9k114423440

• VeriorPies/ParrelSync

  (Unity3D) Test multiplayer without building

  Language:C#4.9k43102333

• google/wuffs

  Wrangling Untrusted File Formats Safely

  Language:C4.2k8393134

• arximboldi/immer

  Postmodern immutable and persistent data structures for C++ — value semantics at scale

  Language:C++2.5k66133185

• yegord/snowman

  Snowman decompiler

  2.3k1170306

• vim-autoformat/vim-autoformat

  Provide easy code formatting in Vim by integrating existing code formatters.

  Language:Vim Script2.3k32234178

• Instagram/LibCST

  A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

  Language:Python1.6k44335193

• corkami/pocs

  Proof of Concepts (PE, PDF...)

  Language:Assembly1.5k757198

• google/fuzzer-test-suite

  Set of tests for fuzzing engines

  Language:C1.4k8144279

• ntpeters/vim-better-whitespace

  Better whitespace highlighting for Vim

  Language:Vim Script1.4k1810582

• facebook/mariana-trench

  A security focused static analysis tool for Android and Java applications.

  Language:C++1.1k3595138

• NASA-SW-VnV/fret

  A framework for the elicitation, specification, formalization and understanding of requirements.

  Language:JavaScript309234953

• exodusintel/Chromium-941743

  Chrome v8 1Day Exploit by István Kurucsai

  Language:JavaScript1648348

• facebook/sapp

  Post Processor for Facebook Static Analysis Tools.

  Language:Python136291638

• anmavrid/smart-contracts

  Language:JavaScript11912430

• antoinemine/apron

  Apron Numerical Abstract Domain Library

  Language:C115116033

• quarkslab/LLDBagility

  A tool for debugging macOS virtual machines

  Language:C11014323

• facebook/errpy

  An Error-Recovering Parser for Python

  Language:Rust621736

• ANSSI-FR/x509-parser

  a RTE-free X.509 parser

  Language:C5910213

• NASA-SW-VnV/CoCoSim

  Automated Analysis Framework for Simulink/Stateflow models.

  Language:MATLAB4411128

• facebook/pysa-action

  GitHub Action for Pysa

  2031412

• 95616ARG/pikos_popl2020

  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

  Language:C++16502

• voblivion/AnotherEngine

  Some C++ game engine

  Language:SWIG4310

• arthaud/min-max

  Min-max algorithm for game theory

  Language:C++320