Beast code in Giters

Wolfgang Grieskamp's starred repositories

The Java gRPC implementation. HTTP/2 based RPC

Language:JavaApache-2.011354 521 3519

Move on Aptos language plugin

Language:KotlinMIT69 12 45

A compiler that reads API descriptions into Google's API Service Configuration format.

Language:JavaApache-2.058 61 8

An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.

Language:RustMIT36 7 1

Libraries and tools for the SMT-LIB-2 standard.

Language:Jupyter NotebookApache-2.021 15 3

Rust implementation of the Binary Canonical Serialization (BCS) format

Language:RustApache-2.014 3 3