psuter/lila
Free chess server scala/play2/clojurescript/mongodb/elasticsearch
Public GitHub Catalog
Discovered Sep 26, 2026
psuter / leon
The Leon system for verification, synthesis, and more.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7626953GitHub System ID
psuterOrganization / User
PublicVisibility
ActiveCatalog Status
More from psuter
psuter/swisssystem
Scala implementation of Swiss tournament pairing systems
psuter/scalachess
Chess API written in scala. Immutable and free of side effects.
psuter/qbf2smt
Public repository.