LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Builder

Jason Yuen

‘int y1’ redeclared as different kind of entity

GitHub
Followers
22
Public repos
36
Stars (recent)
6
Ecosystems
1

Projects

Repositories this builder owns.

judge-server
Judging backend server for the DMOJ online judge.
—
BBFractran
Busy beaver for Fractran
1
busy-beaver-cpp
No description.
3
bbchallenge
Frontend of https://bbchallenge.org
—
online-judge
A modern open-source online judge and contest platform system.

Recent activity

Most recently pushed work.

  • int-y1/judge-server
    pushed 2d ago
  • int-y1/BBFractran
    pushed 5d ago
  • int-y1/busy-beaver-cpp
    pushed 2mo ago
  • int-y1/bbchallenge
    pushed 2mo 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
—
proofs
random proofs in lean 4
2
lean4
Lean 4 programming language and theorem prover
—
mathlib4
The math library of Lean 4
—