Beast code in Giters

Clement Poncelet Sanchez's repositories

A typed parser generator embedded in Rust code for Parsing Expression Grammar

Language:RustApache-2.0200

Upload To Atom

Language:CSSMIT100

Simple tool for comparing gcov/llvm-cov output between runs

Language:Python1 10

Runtime type and bounds-error checking for C/C++

Language:C++100

GitPitch In 60 Seconds - A Very Short Tutorial

Language:CSS100

Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing

Language:CGPL-2.0100

KLEE Symbolic Execution Engine

Language:C++NOASSERTION100

A tiny symbolic execution engine

Language:ScalaBSD-3-Clause1 10

Relative Timed Trace Manager

Language:C++Apache-2.01 20

source code for savior fuzzer

Language:LLVMApache-2.0100

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:CBSD-2-Clause1 20