robinzh

followers

following

stars

robinzh's starred repositories

rkt

[Project ended] rkt is a pod-native container engine for Linux. It is composable, secure, and built on standards.

Language:GoApache-2.0882600

rt-thread

RT-Thread is an open source IoT real-time operating system (RTOS).

Language:CApache-2.01015100

acrn-hypervisor

Project ACRN hypervisor

Language:CBSD-3-Clause110300

Vulkan

C++ examples for the Vulkan graphics API

Language:GLSLMIT1005600

12306

12306智能刷票，订票

Language:PythonMIT3372900

vscode-cpptools

Official repository for the Microsoft C/C++ extension for VS Code.

Language:TypeScriptNOASSERTION542900

emscripten

Emscripten: An LLVM-to-WebAssembly Compiler

Language:C++NOASSERTION2549700

CS-Xmind-Note

计算机专业课（408）思维导图和笔记：计算机组成原理（第五版王爱英），数据结构（王道），计算机网络（第七版谢希仁），操作系统（第四版汤小丹）

Apache-2.0890100

HarmonyOS

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

Language:C1925900

glibc

GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.

Language:CGPL-2.0182100

libsodium

A modern, portable, easy to use crypto library.

Language:CNOASSERTION1212600

ejs

Embedded JavaScript templates for node

Language:JavaScript446800

lcm

Lightweight Communications and Marshalling

Language:JavaLGPL-2.196000

RiscvSpecFormal

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

Language:HaskellApache-2.07500

rumprun

The Rumprun unikernel and toolchain for various platforms

Language:CNOASSERTION113100

mirage

MirageOS is a library operating system that constructs unikernels

Language:OCamlISC250100

clickos

The Click modular router: fast modular packet processing and analysis

Language:C++NOASSERTION1000

protobuf

Protocol Buffers - Google's data interchange format

Language:C++NOASSERTION6486500

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

Language:C++Apache-2.04140400

Fast-DDS

The most complete DDS - Proven: Plenty of success cases. Looking for commercial support? Contact info@eprosima.com

Language:C++Apache-2.0209600

seL4

The seL4 microkernel

Language:CNOASSERTION463200

protobuf-c

Protocol Buffers implementation in C

Language:C++NOASSERTION262800

grpc-c

C implementation of gRPC layered on top of core library

Language:CBSD-3-Clause21700

runc

CLI tool for spawning and running containers according to the OCI specification

Language:GoApache-2.01165200

orocos_kinematics_dynamics

Orocos Kinematics and Dynamics C++ library

Language:C++66300

TensorLayer

Deep Learning and Reinforcement Learning Library for Scientists and Engineers

Language:PythonNOASSERTION731200

caffe

Caffe: a fast open framework for deep learning.

Language:C++NOASSERTION3399800

Autoware-Manuals

Free manuals for Autoware. You are encouraged to join their maintenance!

autoware

Autoware - the world's leading open-source software project for autonomous driving

Language:ShellApache-2.0870100

ros2

The Robot Operating System, is a meta operating system for robots.