LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

Shrys

@Shreyas4991

Followers

47

Public repos

49

Stars (recent)

19

Ecosystems

—

Projects

Repositories this builder owns.

A Lean library for Computer Science

Distributed Graph Algorithms in Lean

6

secure-messaging

Lean/VCVio specifications and proofs for secure messaging protocols

Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

Recent activity

Most recently pushed work.

Shreyas4991/cslib
pushed 3h ago
Shreyas4991/DGAlgorithms
pushed 5h ago
Shreyas4991/secure-messaging
pushed 3d ago
Shreyas4991/Algolean
pushed 8d ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

servo

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

—

postquantumextendeddiffiehellman-model

No description.

Work in progress mathlib port for lean 4

Webpages for the HOL4 website (currently at hol-theorem-prover.org)