Awesome Lean / Libraries
8Parsing & Text
16 entries
- lean4-parserParser combinator library.fgdorais/lean4-parser
- Megaparsec.leanPort of Haskell's Megaparsec.argumentcomputer/Megaparsec.lean
- prim-parserTotal parser combinators whose termination is guaranteed by graded monads.janmasrovira/prim-parser
- leansecTotal parser combinators.remimimimimi/leansec
- PartaxCompiles Lean syntax and parser definitions into standalone parsers.tydeu/lean4-partax
- lean-regexRegular expression engine with correctness proofs.pandaman64/lean-regex
- RegexPCRE2-compatible regular expression engine.bergmannjg/regex
- UnicodeBasicBasic Unicode character properties.fgdorais/lean4-unicode-basic
- lean-markdownCommonMark and GFM implementation that passes the official test suites and is proved total and HTML-safe.paulbutcher/lean-markdown
- lean4-markdownTyped DSL for building and rendering Markdown documents.predictable-machines/lean4-markdown
- MD4LeanWrapper for the MD4C Markdown parser.acmepjz/md4lean
- L4YAMLYAML 1.2.2 parser and dumper with verified properties.nasa-jpl/L4YAML
- lean-urlURL parsing based on the WHATWG standard.ammkrn/lean-url
- lean-semverSemantic versioning.runbikeswim/lean-semver
- printiestPretty printer library.ammkrn/printiest
- BibtexQueryCommand-line BibTeX query utility.dupuisf/BibtexQuery