Skip to content
View bivens-dev's full-sized avatar

Block or report bivens-dev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
11 stars written in C++
Clear filter

Protocol Buffers - Google's data interchange format

C++ 69,547 15,932 Updated Nov 6, 2025

Implementation of the Google Zero-Knowledge library for Identity Protocols.

C++ 971 79 Updated Nov 5, 2025

FHIR Protocol Buffers

C++ 903 203 Updated Sep 25, 2025

Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn. File bugs here: https://crbug.com/dawn/new

C++ 752 132 Updated Nov 6, 2025
C++ 711 42 Updated Aug 15, 2025

The Vampire Theorem Prover

C++ 361 60 Updated Nov 5, 2025

Property Graph and RDF engine, still in development

C++ 236 22 Updated Nov 5, 2025

An Open-Source Door Simulator for RFID/PACS Training

C++ 136 15 Updated Nov 11, 2024

An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'

C++ 88 8 Updated Jun 9, 2020

SDKs and Samples for Google Cloud Service Extensions

C++ 50 31 Updated Oct 25, 2025

Dart package for working with Cesium 3D Tiles geospatial data.

C++ 25 Updated Jul 17, 2025