-
quint Public
Forked from informalsystems/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Apache License 2.0 UpdatedJun 6, 2025 -
-
proc-macro-workshop Public
Forked from dtolnay/proc-macro-workshopLearn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Rust Apache License 2.0 UpdatedJun 6, 2022 -
cargo-generate Public
Forked from cargo-generate/cargo-generatecargo, make me a project
Rust Apache License 2.0 UpdatedMay 30, 2022 -
AEADs Public
Forked from RustCrypto/AEADsAuthenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
Rust UpdatedApr 14, 2022 -
rust-spdm Public
Forked from jyao1/rust-spdma rust version SPDM protocol implementation
Rust Other UpdatedSep 26, 2021 -
rfcs Public
Forked from rust-lang/rfcsRFCs for changes to Rust
Shell Apache License 2.0 UpdatedAug 23, 2021 -
concord-bft Public
Forked from vmware/concord-bftConcord byzantine fault tolerant state machine replication library
C++ UpdatedJul 2, 2021 -
pairing Public
Forked from zkcrypto/pairingPairing-friendly elliptic curve library.
Rust Other UpdatedJun 1, 2021 -
dep Public
Forked from golang/depGo dependency management tool
-
daml Public
Forked from digital-asset/damlThe DAML smart contract language
Scala Apache License 2.0 UpdatedFeb 1, 2020 -
signature-schemes Public
Forked from lovesh/signature-schemesRust library for BLS signatures, MuSig
Rust Apache License 2.0 UpdatedAug 27, 2019 -
amcl_rust_wrapper Public
Forked from lovesh/amcl_rust_wrapperConvenience wrapper over Apache Milagro
Rust Apache License 2.0 UpdatedJul 11, 2019 -
-
-
grpc-go Public
Forked from grpc/grpc-goThe Go language implementation of gRPC. HTTP/2 based RPC
Go Apache License 2.0 UpdatedJul 28, 2018 -
etcd Public
Forked from etcd-io/etcdDistributed reliable key-value store for the most critical data of a distributed system
Go Apache License 2.0 UpdatedMay 28, 2018 -
-
s3asy Public
Simple S3 operations for Node.js with caching backed by Redis
-
rabble Public
Clustered, location transparent actor library in Rust
-
-
-
rfcs-crossbeam Public
Forked from crossbeam-rs/rfcsRFCs for changes to Crossbeam
UpdatedJan 12, 2018 -
ponyc Public
Forked from ponylang/ponyc🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language
C++ BSD 2-Clause "Simplified" License UpdatedSep 21, 2017 -
-
-
funfsm Public
A library for creating and testing finite state machines in Rust
-
msgfsm Public
An example of a Rust FSM using Enums that accepst messages and returns them
Rust UpdatedMay 18, 2017 -
serde_benches Public
Some benchmarks for serializing rabble style pids with diff encoders
Rust UpdatedMay 12, 2017 -
hdrsample Public
Forked from HdrHistogram/HdrHistogram_rustA port of HdrHistogram to Rust
Rust Apache License 2.0 UpdatedMar 2, 2017
{{ message }}