Beast code in Giters

Sebastian N. Fernandez's repositories

LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)

Language:C++MIT17 40

Rust safe bindings to Z3 solver

Language:RustMIT3 10

Rust unsafe bindings to Z3 solver

Language:RustMIT3 20

Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano or TensorFlow.

Language:PythonNOASSERTION010

KLEE Symbolic Virtual Machine

Language:C++NOASSERTION010

Record and Replay Framework

Language:C++NOASSERTION010

Rust Bitcoin library

CC0-1.0000

Language:Rust010

Rust bindings to SpiderMonkey

Language:RustMPL-2.0000

The Servo Browser Engine

Language:HTMLMPL-2.0000

Definition file parser for CPU arch description

Language:F#MIT010

Synthir execution helper

Language:CMIT010

WebAppSec Content Security Policy

Language:HTMLNOASSERTION010