LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Builder

Potato Hatsue

Funnel cakes! Get your funnel cakes here!

GitHub
Followers
201
Public repos
97
Stars (recent)
383
Ecosystems
1

Projects

Repositories this builder owns.

berberman_old
No description.
1
flakes
Some packages I use on NixOS
36
lean4
Lean 4 programming language and theorem prover
—
nixos-config
No description.
4
arch-hs
Distribute hackage packages to archlinux

Recent activity

Most recently pushed work.

  • berberman/berberman_old
    pushed 2h ago
  • berberman/flakes
    pushed 3d ago
  • berberman/lean4
    pushed 7d ago
  • berberman/nixos-config
    pushed 11d 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
26
systemf-ln
Locally Nameless Representation of System F
1
space
No description.
—
jizhang
No description.
—