LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

TypeScript

lean4game

Server to host lean games.

TypeScriptEmerging

Stars

—

Forks

—

Contributors

8

Last push

3mo ago

Recent commits

Latest commits.

add maintainer email
da12f22Kevin H Wilson3mo ago
fix build
b9cc7c9Kevin H Wilson3mo ago
fix build
525c216Kevin H Wilson3mo ago
finalize mac build
fdc1030Kevin H Wilson3mo ago
Fix spurious proof completion
0a4c3acKevin H Wilson3mo ago

initial electron build

bdd2d79Kevin H Wilson3mo ago

chore: cleanup dev dependencies; add NO_BWRAP env variable (#461)

0cf5e63Jon Eugster3mo ago

some refactors (#459)

7629c70Jon Eugster3mo ago

Top contributors

Builders behind this project.

TentativeConvert