xide Goto Github PK

allspark

Developer toolbox

automaths

An attempt to generate Coq proofs using RNN

beerc

How great will be the beer you want to drink now ?

bevy-websocket-adapter

Simple adapter to receive WebSocket messages in your bevy games as native Rust types.

bloom

Golang bloom filter implementation - Scalable, Partitionned & Standard filters

byebyeproxy

corewar

A C++ implementation of the corewar game (ICWS'94/MARS)

course

Markdown course structure generator

effective-parakeet

Kubernetes node pricing optimizer

elm-game-of-life

A game of life implementation using the elm language

fp-project-euler

Javascript functional programming solutions to the project Euler

gau-g-website

Personnal website

github-action-pull-request-size

:octocat: GitHub Action for adding size labels on a pull request based on number of additions and deletions.

groom

Orchestrate and expose ephemeral application deployments on top of Kubernetes

hd2-dashboard

Helldivers 2 exporter and dashboards

helm-chart-diff

Visualize changes in Helm charts values.yaml between versions

iam-demo

Demonstration of an OIDC aware proxy setup in front of a legacy application.

jupyter-scala-chart

Helm chart for a Jupyter notebook with Scala support

kafka-manager-chart

Helm chart for https://github.com/yahoo/kafka-manager

kairos-sdk

:open_file_folder: golang sdk for kairos

kops

Kubernetes Operations (kops) - Production Grade K8s Installation, Upgrades, and Management

kube2allow

helper to guess required linux capabilities for pods in your Kubernetes cluster

link

Link is not Keepalived - Virtual IP manager backed by etcd

mandelbrot-rs

A Rust Mandelbrot set generator, for training purposes

namcap

Reversed pacman built for raspberry pi usage

pki_admission_controller

Kubernetes admission controller which add an internal PKI to the running pods.

poc_lambda_av

ClamAV scan of files uploaded on Minio through RabbitMQ notifications

ralf

Distributed state machine built on top of raft-rs

resume-schema

JSON-Schema is used here to define and validate our proposed resume json

rssh

Reverse SSH gateway to connect to your hosts on private networks.