LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Builder

Aleksandr Karbyshev

@karbyshev

GitHub
Followers
20
Public repos
14
Stars (recent)
1
Ecosystems
1

Projects

Repositories this builder owns.

tlapm
The TLA⁺ Proof Manager
—
kontrol
No description.
—
typhon
Formalization of Typhon protocol
1
otp
Erlang/OTP
—
typhon-sml
Typhon reference implementation in Standard ML
—

Recent activity

Most recently pushed work.

  • karbyshev/tlapm
    pushed 8mo ago
  • karbyshev/kontrol
    pushed 9mo ago
  • karbyshev/typhon
    pushed 11mo ago
  • karbyshev/otp
    pushed 15mo ago

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
slips
SatoshiLabs Improvement Proposals
—
karbyshev.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
—
portable-snippets
Collection of miscellaneous portable C snippets.
—