Beast code in Giters

Alexander Potrykus's starred repositories

terraform-ibm-cloud-databases-on-satellite

Script to provision managed Postgres Database in Satellite on top of IBM Cloud VPC

Language:HCL600

slack-term

Slack client for your terminal

Language:GoMIT642900

speedchallenge

The comma.ai Speed Prediction Challenge!

78000

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1480700

firecracker

Secure and fast microVMs for serverless computing.

Language:RustApache-2.02540600

slog

Structured, contextual, extensible, composable logging for Rust

Language:RustApache-2.0156900

pgaudit

PostgreSQL Audit Extension

Language:CNOASSERTION131500

pg-extend-rs

Postgres extension library for Rust

Language:RustApache-2.027600

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustMIT1354000

notify

🔭 Cross-platform filesystem notification library for Rust.

Language:Rust268600

k8s-openapi

Rust definitions of the resource types in the Kubernetes client API

Language:RustApache-2.038100

kubernetes-rust

Rust client for Kubernetes

Language:RustApache-2.024800

reqwest

An easy and powerful Rust HTTP Client

Language:RustApache-2.0978200

stb

stb single-file public domain libraries for C/C++

Language:CNOASSERTION2657000

LocustDB

Blazingly fast analytics database that will rapidly devour all of your data.

Language:RustNOASSERTION161400

grpc-web

gRPC Web implementation for Golang and TypeScript

Language:TypeScriptApache-2.0437400

envconfig

Golang library for managing configuration data from environment variables

Language:GoMIT502500

elixir-socket

Socket wrapping for Elixir.

Language:Elixir68800

world.geo.json

Annotated geo-json geometry files for the world

NOASSERTION207100

bootstrap-datepicker

A datepicker for twitter bootstrap (@twbs)

Language:JavaScriptApache-2.01266500

dummy_app

Twitter-bootstrap RailsAdmin demo on Heroku (username@example.com/password)

Language:Ruby5300

apotry