LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

@DeepSpec

Yishuai Li

PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.

GitHubWebsite
Followers
259
Public repos
156
Stars (recent)
—
Ecosystems
1

Projects

Repositories this builder owns.

opam
Archive for all Coq related OPAM packages organized in various repositories
—
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
—
ublock-static-filters
Gist -> GitHub mirror for auto sync
—
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
—

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
1.3K followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
unison
Unison file synchronizer
—
tikv
Distributed transactional key-value database, originally created to complement TiDB
—
pd
Placement driver for TiKV
—
QuickChick
Randomized Property-Based Testing Plugin for Coq
—

Recent activity

Most recently pushed work.

  • liyishuai/opam
    pushed 12h ago
  • liyishuai/coq
    pushed 18h ago
  • liyishuai/ublock-static-filters
    pushed 2d ago
  • liyishuai/InteractionTrees
    pushed 5d ago