Niklas Gögge Claim this profile

Bitcoin Core integration/staging tree

Semantics Sanitizer: Fuzz Driven Characterization Testing

Lightning Network Gossip Protocol simulator

Testing framework for firestore and firebase storage security rules.

Descriptor language for Bitcoin's serialization format

Vibe-coded treemap tool

No description.

SymCC: efficient compiler-based symbolic execution

Holistic Fuzzing for Bitcoin Protocol Implementations

Experimental Hypervisor Purpose-Built for Deterministic Software Testing

Experimental continuous fuzzing infrastructure

No description.

No description.

Auto-generated Rust package built by Cap'n Proto schemas

A (probably shittier) version of libprotobuf-mutator for Cap’n Proto

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

No description.

Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more

Rust library for interacting with Bitcoin Core over JSONRPC

No description.

Tooling for evaluating Bitcoin Core's fuzz harnesses

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

External repository for Bitcoin Core related maintenance tools

Bitcoin Core project website

Fuzzing cryptographic libraries. Magic bug printer go brrrr.

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

LibAFL based fuzzer for differential fuzzing across architectures (work in progress)

Core Lightning — Lightning Network implementation focusing on spec compliance and performance

OSS-Fuzz - continuous fuzzing for open source software.

Lightweight fuzzing of a memory snapshot using KVM

Event notification library

brink website

Bitcoin Core related blobs used for quality assurance

Bitcoin Core release attestations (Guix)

A c++ transliteration of the go reference implementation: https://github.com/mit-dci/utreexo

This is the PeerSim simulation branch for P2PSP. Its purpose is to simulate practical conditions with large sets of clients in order to obtain more knowledge about its behaviour. To run this simulations you need to download the PeerSim simulator from http://peersim.sourceforge.net/ and unzip the file.

Lightning Network Daemon ⚡️

HTML Standard

Test suites for Web platform specs — including WHATWG, W3C, and others

No description.

Bitcoin Core PR Review club website

Dotfiles

accumulator for bitcoin utxo set

A delightful community-driven (with 1,200+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Golang cloud functions sdk

dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock dock

The Firebase Command Line Tools

Raiden Network

Remote commands using vagrant

bluri can apply a blur effect to images

Official OpenFaaS language templates

Provides information about your public ip address.

The Go programming language

Modern CSS framework based on Flexbox

No description.