LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Builder

GrigorenkoPV

@GrigorenkoPV

Followers

7

Public repos

32

Stars (recent)

10

Ecosystems

—

Projects

Repositories this builder owns.

Empowering everyone to build reliable and efficient software.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

A shell script which checks your $HOME for unwanted files and directories.

8

The math library of Lean 4

Recent activity

Most recently pushed work.

GrigorenkoPV/rust
pushed 2d ago
GrigorenkoPV/rust-clippy
pushed 14d ago
GrigorenkoPV/xdg-ninja
pushed 20d ago
GrigorenkoPV/mathlib4
pushed 2mo ago

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

rustc-demangle

Rust symbol demangling

—

lcov-reporter-action

Comments a pull request with the code coverage generated by your tests.

A simple Rust iterator

cargo-semver-checks

Scan your Rust crate for semver violations.