LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Builder

Andrei Listochkin (Андрей Листочкин)

@listochkin · Castelo Branco, Portugal

GitHub@listochkinWebsite
Followers
511
Public repos
71
Stars (recent)
38
Ecosystems
1

Projects

Repositories this builder owns.

coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
—
rust-analyzer
A Rust compiler front-end for IDEs
—
jwks-router-plugin
No description.
2
rfcs
RFCs for changes to Rust
—

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
frontend
:octocat: Kottans frontend course 🎓
—
teaching-material
No description.
—
full-stack-kata-jsfwdays-2021
"Full Stack Kata" workshop at JavaScript fwdays 2021 - a static file server with file upload support
5
dyn4j
Simple duck typing for Java
9

Recent activity

Most recently pushed work.

  • listochkin/coq-lsp
    pushed 13mo ago
  • listochkin/rust-analyzer
    pushed 24mo ago
  • listochkin/jwks-router-plugin
    pushed 44mo ago
  • listochkin/rfcs
    pushed 46mo ago