LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

SMT

skills

Skills for higher quality software development

SMTEmerging

Stars

1

Forks

—

Contributors

1

Last push

9d ago

Recent commits

Latest commits.

docs(git): require commit signing, halt on hardware key failure
e2d36b9Mathias Hall-Andersen9d ago
docs(circuit-optimization): add Lean/Clean proving guardrail
ae74113Mathias Hall-Andersen14d ago
docs(circuit-optimization): slim catalogue to non-obvious content
71f0defMathias Hall-Andersen15d ago
feat(circuit-optimization): add circuit optimization skill
4ff91d0Mathias Hall-Andersen15d ago
feat(lean): add Lean 4 + Mathlib skill
aa932eeMathias Hall-Andersen16d ago

docs(rust-performance): prefer flambe profiling

0bcae91Mathias Hall-Andersen23d ago

feat(rust-performance): add Rust performance skill

e2c73cbMathias Hall-Andersen23d ago

feat(rust-programing): add default crates

bc4373dMathias Hall-Andersen23d ago

Top contributors

Builders behind this project.