Giters
zhangpf

zhangpf

Geek Repo

66

followers

30

following

99

stars

Company:Home

Location:Beijing

Home Page:https://zhangpf.github.io

Github PK Tool:Github PK Tool

zhangpf's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94896Issues:1483Issues:53399

istio

Connect, secure, control, and observe services.

Language:GoLicense:Apache-2.0Stargazers:35383Issues:986Issues:19538

500lines

500 Lines or Less

Language:JavaScriptLicense:NOASSERTIONStargazers:29181Issues:1795Issues:70

consul

Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.

Language:GoLicense:NOASSERTIONStargazers:28049Issues:921Issues:5412

gvisor

Application Kernel for Containers

Language:GoLicense:Apache-2.0Stargazers:15322Issues:310Issues:1644

redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

Language:ShellLicense:MITStargazers:14946Issues:601Issues:0

os01

Bootstrap yourself to write an OS from scratch. A book for self-learner.

Language:TeXStargazers:11671Issues:402Issues:117

pdfs

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Language:HTMLStargazers:7216Issues:422Issues:10

serving

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

Language:GoLicense:Apache-2.0Stargazers:5464Issues:99Issues:4707

book

Computer Networks: A Systems Approach -- Textbook

Language:PythonLicense:NOASSERTIONStargazers:3049Issues:96Issues:19

Cosmos

Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!

Language:C#License:BSD-3-ClauseStargazers:2878Issues:178Issues:1825

os

Minoca operating system

Language:CLicense:NOASSERTIONStargazers:2704Issues:152Issues:131

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2651Issues:80Issues:1993

flogo

Project Flogo is an open source ecosystem of opinionated event-driven capabilities to simplify building efficient & modern serverless functions, microservices & edge apps.

Language:CSSLicense:BSD-3-ClauseStargazers:2388Issues:153Issues:370

littleosbook

Source for the little book about OS development

Language:CSSStargazers:2186Issues:84Issues:63

hyperd

HyperContainer Daemon

Language:GoLicense:Apache-2.0Stargazers:1983Issues:92Issues:287

LocustDB

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

Language:RustLicense:NOASSERTIONStargazers:1578Issues:45Issues:62

kernel

A Rust-based, lightweight unikernel.

Language:RustLicense:Apache-2.0Stargazers:1121Issues:11Issues:194

open-lambda

An open source serverless computing platform

Language:GoLicense:Apache-2.0Stargazers:924Issues:42Issues:57

runv

Hypervisor-based Runtime for OCI

Language:GoLicense:Apache-2.0Stargazers:827Issues:43Issues:135

lthread

lthread, a multicore enabled coroutine library written in C

Language:CLicense:NOASSERTIONStargazers:813Issues:37Issues:31

MOSA-Project

Managed Operating System Alliance Project

Language:C#License:NOASSERTIONStargazers:405Issues:32Issues:283

bakingpi-www

Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)

Language:HTMLLicense:NOASSERTIONStargazers:387Issues:47Issues:24

nudtpaper

A LaTeX template for Master/PhD Thesis of NUDT

Language:TeXStargazers:329Issues:22Issues:36

barrelfish

Mirror of the official Barrelfish OS repository.

Language:CLicense:MITStargazers:162Issues:18Issues:0

akaros

The Akaros operating system

Language:CLicense:NOASSERTIONStargazers:41Issues:12Issues:5

Termite

The Termite driver synthesis tool

Language:ShellStargazers:29Issues:8Issues:17

lvdiff

A tool to backup and restore LVM2 thinly-provisioned volumes

Language:GoStargazers:5Issues:3Issues:0

hblock

hyper block command line tools and SDK library

Language:GoStargazers:2Issues:4Issues:0

PoseDB

Language:CStargazers:1Issues:2Issues:0