eddyashton Goto Github PK

automerge.github.io

azure-docs

Open source documentation of Microsoft Azure

azure-openapi-validator

Azure Open API Validator

azure-rest-api-specs

The source for REST API specifications for Microsoft Azure.

boofuzz

A fork and successor of the Sulley Fuzzing Framework

catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

ccf

Confidential Consortium Framework - a framework to build secure, highly available, and performant applications that focus on multi-party compute and data

ccf-app-samples

Sample applications for the Confidential Consortium Framework (CCF)

ccf-app-template

Template repository for C++ applications for CCF

eddyashton.github.io

eevm

Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.

endive

Tool for inferring inductive invariants of protocols specified in TLA+.

evm-for-ccf

Sample EVM application for CCF

for.climateaction

Microsoft Workers stand for climate justice. Show support by staring this repo and sharing!

github_rename_test

grpc-experiments

hello-dl-posts

Hello Deep Learning

jq

Command-line JSON processor

json_schema_website

JSON Schema website

ld53

Ludum Dare 53 - Delivery

learntla-v2

Learn TLA+ for free! No prior experience necessary!

merklecpp

A C++ library for creation and manipulation of Merkle trees

move

ngtcp2

ngtcp2 project is an effort to implement IETF QUIC protocol

oav

Tools for validating OpenAPI (Swagger) files.

openenclave

SDK for developing enclaves

performance_client

python-asn1

Native ASN.1 parser/generator

quorum-examples

Examples for Quorum

restler-fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.