The math library of Lean 4

Lean 4 programming language and theorem prover

A latent text-to-image diffusion model

Language based on Rewriting Logic

Calling Go Functions from Other Languages using C Shared Libraries

Security vulnerability database inclusive of CVEs and GitHub originated security advisories from the world of open source software.

gRPC to JSON proxy generator following the gRPC HTTP spec

Documentation and Samples for the Official HN API

A collection of postmortems. Sorry for the delay in merging PRs!

A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)

C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

Repo for gRPC testing infrastructure support code

Simple gRPC benchmarking and load testing tool

Contrib repository for the OpenTelemetry Collector

Amazon EC2 instance comparison site

Machine learning prediction in pure Python

All the boilerplate you need to get started with writing grpc-gateway powered REST services in Go

Code to analyse structural covariance brain networks using python.

The Ultimate Go Study Guide

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

Generate sandboxes for C/C++ libraries automatically

An implementation of a small neural network in SQLAlchemy

Create beautiful diagrams just by typing notation in plain text.

OpenTelemetry community content

NumPy and Pandas interface to Big Data

Build a Jekyll blog in minutes, without touching the command line.

Automatically generate change log from your tags, issues, labels and pull requests on GitHub.

Writing a sqlite clone from scratch in C

Linux Cluster Builder - Bare Metal Red Hat & SUSE

A simple programming language targeting LLVM