Beast code in Giters

Brian L. Troutwine's starred repositories

tikv

Distributed transactional key-value database, originally created to complement TiDB

Language:RustApache-2.014775 307 5079

toxiproxy

:alarm_clock: :fire: A TCP proxy to simulate network and system conditions for chaos and resiliency testing

Language:GoMIT10503 563 195

PyOxidizer

A modern Python application packaging and distribution tool

Language:RustMPL-2.05319 62 564

rustler

Safe Rust bridge for creating Erlang NIF functions

Language:RustApache-2.04247 79 235

lalrpop

LR(1) parser generator for Rust

Language:RustApache-2.02956 35 413

datadog-agent

Main repository for Datadog Agent

Language:GoApache-2.02745 526 1462

quickcheck

Automated property based testing for Rust (with shrinking).

Language:RustUnlicense2303 19 142

rust-rocksdb

rust wrapper for rocksdb

Language:RustApache-2.01781 32 372

afl.rs

🐇 Fuzzing Rust code with American Fuzzy Lop

Language:RustApache-2.01607 32 131

failure

Error management

Language:RustApache-2.01429 37 202

rd

rd is a record/replay debugger written in rust

Language:RustNOASSERTION956 14 11

c4

x86 JIT compiler in 86 lines

Language:CGPL-2.0932 45 4

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++Apache-2.0917 41 71

lasp

Prototype implementation of Lasp in Erlang.

Language:ErlangApache-2.0893 52 83

haret

A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.

Language:Rust462 26 68

vas-quod

:aerial_tramway: Minimal linux container runtime

Language:RustBSD-2-Clause440 12 5

seer

symbolic execution engine for Rust

Language:RustNOASSERTION337 16 8

guff

a plot device

Language:CISC275 13 2

libfuzzer

Rust bindings and utilities for LLVM’s libFuzzer

Language:C++Apache-2.0206 14 53

libdiffuzz

Custom memory allocator that helps discover reads from uninitialized memory

Language:RustApache-2.0163 8 6

rusty

A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.

Language:C++GPL-3.0127 90

bran

A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.

Language:OCamlApache-2.0101 6 1

xjmusic

XJ music enables composers to realize new possibilities in adaptive music for video games.

Language:JavaNOASSERTION6400

lading

A suite of data generation and load testing tools

Language:RustMIT63 358 50

noxious

A Rust port of Toxiproxy server

Language:RustNOASSERTION48 3 5

bitwise

Portable high-level bitwise manipulation algorithms

Language:RustMIT47 6 21

kafka-serde

Rust's serde implementation for the Kafka protocol.

Language:RustNOASSERTION1700

btrfs-fuzz

Unsupervised coverage-guided btrfs fuzzer

Language:RustGPL-2.013 5 1

darcy

A frankenstein Erlang dynamo client that doesn't suck too much

Language:ErlangApache-2.010 3 2

eclectic

Experimental collection traits for Rust

Language:RustApache-2.02 20