Skip to content
View snf's full-sized avatar
42 followers · 23 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx2

Organizations

@BitFinding
Block or Report

Block or report snf

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

  • keras Public

    Forked from keras-team/keras

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

    Python Other Updated Jul 22, 2016

  • z3-sys Public

    Rust unsafe bindings to Z3 solver

    Rust 3 MIT License Updated May 11, 2016

  • synthir_execute Public

    Synthir execution helper

    C MIT License Updated Apr 14, 2016

  • llvm_assemble Public

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

    C++ 18 5 MIT License Updated Apr 14, 2016

  • z3-rs Public

    Rust safe bindings to Z3 solver

    Rust 3 1 MIT License Updated Mar 15, 2016

  • synthir_def_parser Public

    Definition file parser for CPU arch description

    F# MIT License Updated Mar 8, 2016

  • rust-capstone Public

    Forked from ebfe/rust-capstone
    Rust Updated Mar 5, 2016

  • klee Public

    Forked from klee/klee

    KLEE Symbolic Virtual Machine

    C++ Other Updated Jun 1, 2015

  • servo Public

    Forked from servo/servo

    The Servo Browser Engine

    HTML Mozilla Public License 2.0 Updated May 26, 2015

  • rust-mozjs Public

    Forked from servo/rust-mozjs

    Rust bindings to SpiderMonkey

    Rust Mozilla Public License 2.0 Updated Apr 27, 2015

  • rust-bitcoin Public

    Forked from rust-bitcoin/rust-bitcoin

    Rust Bitcoin library

    Rust Creative Commons Zero v1.0 Universal Updated Aug 3, 2014