Carson's starred repositories

bitcoin

Bitcoin Core integration/staging tree

models

Models and examples built with TensorFlow

Language:PythonLicense:NOASSERTIONStargazers:76966Issues:2729Issues:7276

vim-plug

:hibiscus: Minimalist Vim Plugin Manager

Language:Vim ScriptLicense:MITStargazers:33932Issues:379Issues:1018

algo

Set up a personal VPN in the cloud

Language:JinjaLicense:AGPL-3.0Stargazers:28652Issues:449Issues:1594

awesome-piracy

A curated list of awesome warez and piracy links

Language:HTMLLicense:CC0-1.0Stargazers:24167Issues:697Issues:310

solidity

Solidity, the Smart Contract Programming Language

Language:C++License:GPL-3.0Stargazers:23063Issues:721Issues:6015

desktop

Focus on what matters instead of fighting with Git.

Language:TypeScriptLicense:MITStargazers:19656Issues:1934Issues:11482

tink

Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

Language:JavaLicense:Apache-2.0Stargazers:13413Issues:341Issues:476

wireshark

Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. ⚠️ GitHub won't let us disable pull requests. ⚠️ THEY WILL BE IGNORED HERE ⚠️ Upload them at GitLab instead.

Language:CLicense:GPL-2.0Stargazers:7105Issues:299Issues:0

slither

Static Analyzer for Solidity and Vyper

Language:PythonLicense:AGPL-3.0Stargazers:5255Issues:67Issues:1199

rippled

Decentralized cryptocurrency blockchain daemon implementing the XRP Ledger protocol in C++

meltdown

This repository contains several applications, demonstrating the Meltdown bug.

Language:CLicense:ZlibStargazers:4106Issues:152Issues:0

Awesome-Networking

A curated list of awesome networking libraries, resources and shiny things

examples

Infrastructure, containers, and serverless apps to AWS, Azure, GCP, and Kubernetes... all deployed with Pulumi

Language:TypeScriptLicense:Apache-2.0Stargazers:2353Issues:76Issues:436

not-so-smart-contracts

Examples of Solidity security issues

Language:SolidityLicense:Apache-2.0Stargazers:2147Issues:81Issues:20

reko

Reko is a binary decompiler.

Language:C#License:GPL-2.0Stargazers:2135Issues:75Issues:636

evm-opcodes

Ethereum opcodes and instruction reference

injdrv

proof-of-concept Windows Driver for injecting DLL into user-mode processes using APC

llvm-mctoll

llvm-mctoll

Language:C++License:NOASSERTIONStargazers:804Issues:33Issues:95

metame

metame is a metamorphic code engine for arbitrary executables

Language:PythonLicense:MITStargazers:565Issues:29Issues:16

PinCTF

Using Intel's PIN tool to solve CTF problems

libcpu

"libcpu" is an open source library that emulates several CPU architectures

Language:C++License:BSD-2-ClauseStargazers:361Issues:26Issues:5

Simpleator

Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that were added in Windows 10 Spring Update (1803), also called "Redstone 4", with additional improvements that were made in Windows 10 October Update (1809), aka "Redstone 5".

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification

Cmulator

Cmulator is ( x86 - x64 ) Scriptable Reverse Engineering Sandbox Emulator for shellcode and PE binaries . Based on Unicorn & Zydis Engine & javascript

Language:PascalLicense:AGPL-3.0Stargazers:294Issues:28Issues:8
Language:C++License:Apache-2.0Stargazers:279Issues:35Issues:9

TPMGenie

TPM Genie is an I2C bus interposer for discrete Trusted Platform Modules

CTF

This repo stores all challenges and writeups of CTFs we have participated in

Language:PHPStargazers:35Issues:8Issues:0

malware-s2e

Code for my blog post on using S2E for malware analysis