BuilderGraphAccount

Repository · dormant

vacp2p/formalities

Formal models of vac protocols

TLAMITVac

stars

7

forks

4

contributors

1

open issues

2

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit2273d ago

Top contributors

1

decanus

decanus

@decanus

12

commits

Ecosystem context

vacp2p/zerokit

A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.

Rustlast commit 2026-06-04

vacp2p/rfc

Modular p2p messaging stack, with a focus on secure messaging.

HTMLlast commit 2024-06-14

vacp2p/waku-ts

Waku Typescript Client

TypeScriptlast commit 2021-03-31

logos-co/logos-lips

Pythonlast commit 2026-06-01

vacp2p/research.logos.co

MDXlast commit 2026-06-01

vacp2p/dst-gossipsub-test-node

DST-shadow

Nimlast commit 2025-10-08

vacp2p/multiprotocol

Self-describing protocol identifiers

last commit 2020-03-02

vacp2p/waku-web-chat

Waku Web Chat POC

JavaScriptlast commit 2021-07-14

Subscriber view

Unlock the full view of vacp2p/formalities

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.