Awesome Lean / Libraries
7Standard Library Extensions & Data Structures
8 entries
- LeanCollsCollections library with a uniform interface.JamesGallicchio/LeanColls
- hashbrown4leanPort of Rust's hashbrown SwissTable hash map.SchrodingerZhu/hashbrown4lean
- CCtxFirst-class constructor contexts for writing tail-recursive builders.pandaman64/CCtx
- itertoolsIterator library.tydeu/lean4-itertools
- ac-libraryPort of AtCoder Library for competitive programming.zer0-star/lean-ac-library
- AlgorithmVerified efficient algorithms.astrainfinita/Algorithm
- podLow-level utilities: single-precision floats, byte spans, unboxed vectors, finalizers.KislyjKisel/lean-pod
- bitmapImage utilities with verified PNG encoding and decoding.varosi/Bitmap