Giters
zxfsee

zxfsee

Geek Repo

7

followers

1

following

2k

stars

Github PK Tool:Github PK Tool

zxfsee's starred repositories

mojo

The Mojo Programming Language

Language:MojoLicense:NOASSERTIONStargazers:21964Issues:269Issues:1847

edgedb

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

Language:PythonLicense:Apache-2.0Stargazers:12734Issues:103Issues:2310

juicefs

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

Language:GoLicense:Apache-2.0Stargazers:9988Issues:112Issues:1289

netboot.xyz

Your favorite operating systems in one place. A network-based bootable operating system installer based on iPXE.

Language:JinjaLicense:Apache-2.0Stargazers:8331Issues:112Issues:472

serving

Kubernetes-based, scale-to-zero, request-driven compute

Language:GoLicense:Apache-2.0Stargazers:5440Issues:99Issues:4698

datascript

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Language:ClojureLicense:EPL-1.0Stargazers:5425Issues:149Issues:313

mountpoint-s3

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

Language:RustLicense:Apache-2.0Stargazers:4209Issues:44Issues:283

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

Language:RustLicense:Apache-2.0Stargazers:3549Issues:28Issues:232

nilaway

Static analysis tool to detect potential nil panics in Go code

Language:GoLicense:Apache-2.0Stargazers:2889Issues:11Issues:121

fluvio

Lean and mean distributed stream processing system written in rust and web assembly.

Language:RustLicense:Apache-2.0Stargazers:2742Issues:35Issues:1431

awesome-streaming

a curated list of awesome streaming frameworks, applications, etc

Stargazers:2588Issues:140Issues:7

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2015Issues:22Issues:1558

minisign

A dead simple tool to sign files and verify digital signatures.

Language:CLicense:NOASSERTIONStargazers:1995Issues:42Issues:109

zap

blazingly fast backends in zig

Language:CLicense:MITStargazers:1933Issues:27Issues:44

kubeblocks

KubeBlocks is an open-source control plane software that runs and manages databases, message queues and other stateful applications on K8s.

Language:GoLicense:AGPL-3.0Stargazers:1726Issues:28Issues:3643

caretta

Instant K8s service dependency map, right to your Grafana.

Language:GoLicense:Apache-2.0Stargazers:1726Issues:21Issues:13

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1507Issues:19Issues:470

zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

Language:RustLicense:NOASSERTIONStargazers:1331Issues:35Issues:370

polonius

Defines the Rust borrow checker.

Language:RustLicense:Apache-2.0Stargazers:1273Issues:68Issues:51

egg

egg is a flexible, high-performance e-graph library

Language:RustLicense:MITStargazers:1267Issues:24Issues:128

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLicense:LGPL-2.1Stargazers:844Issues:17Issues:309

awesome-esp-rust

Curated list of resources for ESP32 development in the Rust programming language

License:CC0-1.0Stargazers:708Issues:27Issues:3

specification

Serverless Workflow Specification

Language:GherkinLicense:Apache-2.0Stargazers:705Issues:28Issues:249

karpenter

Karpenter is a Kubernetes Node Autoscaler built for flexibility, performance, and simplicity.

Language:GoLicense:Apache-2.0Stargazers:412Issues:22Issues:370

ingress2gateway

Convert Ingress resources to Gateway API resources

Language:GoLicense:Apache-2.0Stargazers:317Issues:11Issues:61

jobset

JobSet: An API for managing a group of Jobs as a unit

Language:GoLicense:Apache-2.0Stargazers:110Issues:7Issues:213

kernel-module-management

The kernel module management operator builds, signs and loads kernel modules in Kubernetes clusters.

Language:GoLicense:Apache-2.0Stargazers:76Issues:8Issues:114

eventing-autoscaler-keda

KEDA support for Knative Event Sources Autoscaling

Language:GoLicense:Apache-2.0Stargazers:40Issues:8Issues:28

ocm

Open Component Model (Software Bill of Delivery Toolset)

Language:GoLicense:Apache-2.0Stargazers:27Issues:11Issues:187

ocm-controller

Main repository for ocm-controller.

Language:GoLicense:Apache-2.0Stargazers:9Issues:7Issues:91