-
-
-
-
raft-maude Public
Formal Specification and Model Checking of Raft in Maude
-
autoware.universe Public
Forked from tier4/autoware_universeC++ Apache License 2.0 UpdatedDec 5, 2022 -
-
-
-
raft-rs Public
Forked from tikv/raft-rsRaft distributed consensus algorithm implemented in Rust.
Rust Apache License 2.0 UpdatedMay 12, 2020 -
wat Public
Forked from bytecodealliance/watRust WAT and WAST parser (WebAssembly Text Format)
Rust Apache License 2.0 UpdatedMar 6, 2020 -
wasmtime Public
Forked from bytecodealliance/wasmtimeStandalone JIT-style runtime for WebAssembly, using Cranelift
Rust Apache License 2.0 UpdatedMar 4, 2020 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJan 21, 2020 -
-
actix-net Public
Forked from actix/actix-netframework for composable networking services
Rust Apache License 2.0 UpdatedJan 17, 2020 -
actix-web Public
Forked from actix/actix-webActix web is a small, pragmatic, and extremely fast rust web framework.
Rust Apache License 2.0 UpdatedJan 16, 2020 -
linkerd2-proxy Public
Forked from linkerd/linkerd2-proxyThe world's best service mesh proxy. Written in Rust.
Rust Apache License 2.0 UpdatedJan 9, 2020 -
-
-
bcc Public
Forked from iovisor/bccBCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Python Apache License 2.0 UpdatedDec 6, 2019 -
The Go programming language
Go BSD 3-Clause "New" or "Revised" License UpdatedSep 22, 2019 -
arrow-1 Public
Forked from arrow-kt/arrowFunctional companion to Kotlin's Standard Library
Kotlin Other UpdatedJun 30, 2019 -
tokio Public
Forked from tokio-rs/tokioA runtime for writing reliable, asynchronous, and slim applications with the Rust programming language.
Rust MIT License UpdatedJun 24, 2019 -
Simple, fast, safe, compiled language for developing maintainable software. Supports translation from C and (soon) C++.
Go MIT License UpdatedJun 22, 2019 -
futures-rs Public
Forked from rust-lang/futures-rsZero-cost asynchronous programming in Rust
Rust Apache License 2.0 UpdatedJun 17, 2019 -
istio Public
Forked from istio/istioConnect, secure, control, and observe services.
Go Apache License 2.0 UpdatedJun 15, 2019 -
spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedJun 8, 2019 -
linkerd2 Public
Forked from linkerd/linkerd2A service mesh for Kubernetes and beyond. Main repo for Linkerd 2.x.
Go Apache License 2.0 UpdatedMay 31, 2019 -
wasmparser.rs Public
Forked from bytecodealliance/wasmparserA simple event-driven library for parsing WebAssembly binary files
Rust Apache License 2.0 UpdatedMay 29, 2019 -
cranelift Public
Forked from bytecodealliance/craneliftCranelift code generator
Rust Apache License 2.0 UpdatedMay 28, 2019 -
{{ message }}