LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Rust

leangz

Lean 4 .olean file (de)compressor

RustEmerging

Stars

11

Forks

2

Contributors

2

Last push

3mo ago

Recent commits

Latest commits.

fix: put temps in target dir
bc36c61Mario Carneiro3mo ago
feat: write files atomically
6d1691eMario Carneiro3mo ago
fix: deserialization bug
7f12e76Mario Carneiro5mo ago
v0.1.16
d251df0Mario Carneiro8mo ago
feat: module-aware selftest
4a3d3dcMario Carneiro8mo ago

fix: module compression incorrectly reused first file's root pointer (#5)

75667e5Kim Morrison8mo ago

feat: add (failing) test for module system bug (#4)

213d8f5Kim Morrison8mo ago

fix: CLI support

7219a3cMario Carneiro8mo ago

Top contributors

Builders behind this project.