LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

Abhishek Anand

@aa755 · Miami, FL, USA

GitHub @AbAnand9 Website

Followers

44

Public repos

93

Stars (recent)

9

Ecosystems

1

Projects

Repositories this builder owns.

decoding-human-body

2

rocq-emacs-for-cli-agents

A small library that lets cli agents (e.g. codex-cli, claude code) to drive interactive rocq proofs in emacs

4

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.

1

No description.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

Specifications of the C++ standard library in BRiCk.

No description.

Ethereum precompiled contracts

Extended precision integer C++ library

Recent activity

Most recently pushed work.

aa755/decoding-human-body
pushed 19d ago
aa755/rocq-emacs-for-cli-agents
pushed 1mo ago
aa755/coq
pushed 1mo ago
aa755/monad
pushed 3mo ago