LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Rust

quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

RustEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
8
Last push
14d ago

Recent commits

Latest commits.

  • update workflows
    5a8195eDon Syme14d ago
  • Merge pull request #159 from dsyme/lean-squad-run185-26323441599-probertttimer-t82-cwndupdate-tests-cbe304a8c2a27bdd
    a0a3c4aDon Syme25d ago
  • feat(fv): T82 BBR2ProbeRTTTimer (20 thms, 0 sorry) + Route-B tests for T81 (19/19 PASS)
    e97bda1github-actions[bot]25d ago
  • feat(fv): T81 BBR2 update_congestion_window bounds — 18 theorems, 0 sorry
    c1c7b97github-actions[bot]25d ago
  • feat(fv): T81 research (BBR2 CWND update bounds) + paper update (74 files, 1567 thms)
    00ec2b2github-actions[bot]25d ago
  • Merge pull request #156 from dsyme/lean-squad-run182-26268953159-bbr2-bandwidth-growth-t80-04c3716470635402
    5e1dccfDon Syme26d ago
  • feat(fv): T80 BBR2BandwidthGrowth — 20 theorems, 0 sorry + REPORT update
    f49cedegithub-actions[bot]26d ago
  • Merge run181: BBR2ProbeBWCycle T78 + BBR2BandwidthGrowth informal spec T80
    a713c9egithub-actions[bot]26d ago

    • Top contributors

    Builders behind this project.

    ghedo
    1.4K commits
    LPardue
    284 commits
    github-actions[bot]
    156 commits
    dsyme
    121 commits
    junhochoi
    94 commits
    antoniovicente
    88 commits
    evanrittenhouse
    60 commits
    toidiu
    42 commits