Loom
C 70 completed
Library
monorepo / rust · small
156
Files
51,126
LOC
0
Frameworks
9
Languages
Pipeline State
completedRun ID
#371911Phase
doneProgress
1%Started
Finished
2026-04-13 01:31:02LLM tokens
0Pipeline Metadata
Stage
SkippedDecision
skip_scaffold_dupNovelty
43.00Framework unique
—Isolation
—Last stage change
2026-04-16 18:15:42Deduplication group #47912
Member of a group with 1 similar repo(s) — canonical #2301 view group →
Top concepts (1)
Documentation
Repobility's GitHub App fixes findings like these · https://github.com/apps/repobility-bot
AI Prompt
Create a command-line tool, similar to Loom, that acts as a formally verified WebAssembly optimizer. I need it to be written primarily in Rust and should support optimizing input WASM files to significantly reduce binary size, ideally by 80-95%. The CLI should allow users to run optimization passes, and I'd like to include options for viewing statistics and optionally running a Z3 verification step to prove correctness. The architecture should utilize modules for core logic, shared definitions, and the CLI interface.
rust wasm webassembly optimizer cli command-line formal-verification binary-size wasm-opt
Generated by gemma4:latest
Catalog Information
Loom is a formally verified WebAssembly optimizer that reduces binary size by 80-95% and optimization times to 10-30 microseconds.
Description
Loom is a 12-phase WebAssembly optimization pipeline built on Cranelift's ISLE pattern-matching engine. It includes constant folding, strength reduction, common subexpression elimination, function inlining, dead code elimination, loop-invariant code motion, and component model support. The entire pipeline is pure Rust with minimal dependencies.
الوصف
لوم هو مصفّف وسمبليتير لويب أسيمبلر معالج رسميًا، يقلل من حجم الملفات البينيّة بنسبة 80-95% ووقت التأهيل إلى 10-30 ميكروثانية.
Novelty
9/10Tags
binary-size-reduction webassembly-optimization formal-verification constant-folding strength-reduction common-subexpression-elimination
Claude Models
claude-opus-4.6
Quality Score
C
69.8/100
Structure
70
Code Quality
50
Documentation
75
Testing
85
Practices
72
Security
84
Dependencies
60
Strengths
- CI/CD pipeline configured (github_actions)
- Good test coverage (91% test-to-source ratio)
- Consistent naming conventions (snake_case)
- Good security practices \u2014 no major issues detected
- Containerized deployment (Docker)
- Properly licensed project
Weaknesses
- 12842 duplicate lines detected \u2014 consider DRY refactoring
- 12 'god files' with >500 LOC need decomposition
Recommendations
- Add a linter configuration to enforce code style consistency
Security & Health
13.3h
Tech Debt (A)
A
OWASP (100%)
PASS
Quality Gate
A
Risk (1)
Repobility · severity-and-effort ranking · https://repobility.com
Apache-2.0
License
16.1%
Duplication
Languages
Frameworks
None detected
Concepts (1)
| Category | Name | Description | Confidence | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Powered by Repobility — scan your code at https://repobility.com | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_category | Documentation | docs | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Embed Badge
Add to your README:
