| .. |
|
AdaptivePrecision.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
BindServer.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
CombinatorialPrecision.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
Core
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
debug_eval.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
ExtensionScaffold
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
ExtensionScaffold.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
ExtremeParameterTestEval.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
FPGAExtraction.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
GenerateLUTMain.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
GenerateSparklePhiS3C.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
lean-toolchain/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
legacy
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
Main.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
ManifoldCompressionAgnostic.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
MetadataOverheadBudget.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
MinimumNeuralCompression.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
MOIMBenchmarkMain.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
NominalParameterTestEval.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
OpenWormBenchmark.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
OriginProtocol.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
PurifyMain.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
Quarantine/Q064Experimental.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
QuizTest.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
SearchServer.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
Semantics
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
Semantics.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|
TangNano9KEmitter.lean/concrete-history
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
