Skip to content
View Et7f3's full-sized avatar

Organizations

@revery-ui

Block or report Et7f3

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

[EOL] External storage plugins, provisioners, and helper libraries

Go 2,697 1,598 Updated Oct 21, 2020

Kubernetes community content

Jupyter Notebook 11,963 5,164 Updated Oct 12, 2024

Dynamically provisioning persistent local storage with Kubernetes

Go 2,197 452 Updated Oct 7, 2024

Static provisioner of local volumes

Go 1,066 330 Updated Sep 14, 2024

SQLAlchemy type to store aware datetime values

Python 101 20 Updated Aug 17, 2022

A Coq playground

Coq 2 Updated Jul 30, 2024

Why use a hammer when you can use a nailgun.

Python 46 83 Updated Oct 10, 2024

Image Builder service for console.redhat.com

Go 48 44 Updated Oct 11, 2024

Active Record, Django-like queries, nested eager load and beauty __repr__ for SQLAlchemy

Python 749 67 Updated Sep 8, 2024

Sample plugin for freeIPA to add 'user status' field to both IPA CLI and Web UI

Python 19 9 Updated Jan 8, 2018

Local development against a remote Kubernetes or OpenShift cluster

Go 6,538 515 Updated Oct 12, 2024

KaRaMeL is a tool for extracting low-level F* programs to readable C code

OCaml 394 59 Updated Oct 11, 2024

SSHamble: Unexpected Exposures in SSH

Go 887 66 Updated Oct 7, 2024

PBKDF2 for OpenLDAP

C 34 7 Updated Apr 8, 2021

an application that automates the lifecycle of servers

Ruby 2,604 989 Updated Oct 11, 2024

An example to extend freeipa with custom attributes which can be configured through cli or web ui by an example for Owncloud/Nextcloud.

Python 1 Updated Feb 23, 2024

An example to extend freeipa with custom attributes which can be configured through cli or web ui by an example for Owncloud/Nextcloud.

Python 22 7 Updated Jan 30, 2024
Python 5 2 Updated Nov 30, 2020

Extract information from the Offline Address Book (OAB) file.

Python 5 1 Updated May 30, 2024

Add SSLKEYLOGFILE support to any dynamically linked app using OpenSSL 1.1.1+ on Linux.

C 33 6 Updated Apr 5, 2023

Aeneas applied to AVL trees

Lean 2 Updated May 29, 2024

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

OCaml 21 1 Updated Oct 11, 2024

A verification toolchain for Rust programs

OCaml 182 14 Updated Oct 1, 2024

Interface with the rustc compiler for the purpose of program verification

Rust 89 15 Updated Oct 9, 2024

Tool to statically recompile N64 games into native executables

C++ 6,332 359 Updated Oct 12, 2024

ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin

C++ 16 Updated Mar 22, 2015

Very simple system configuration deployment system for the paranoid sysadmin.

Shell 5 2 Updated Jul 19, 2022

a demo of react cache and suspense using axios for api calls

JavaScript 7 Updated Dec 15, 2023

Fuzzy String Matching in Python

Python 2,808 138 Updated Feb 27, 2024

This is a repository that aims to concisely explain the issues in Nix community

180 2 Updated Sep 15, 2024
Next