fgdoraisParser

Parser Combinator Library for Lean 4
Displaying 1-7 of 7 packages depending on fgdorais/Parser
Sort by

  1. zer0-star/ac-libraryuses617f4fa

    ac-library for lean4

  2. JamesGallicchio/Httpusese13af0e

    Basic HTTP definitions and parsing for Lean

  3. CAIMEOX/json-schemausesc721f95

    Json Schema lean implementation

  4. alok/lean-infuses78da911

    Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.

  5. JamesGallicchio/lean-openapiusese13af0e

  6. chrisflav/orchestrausesbf30b2e

    A daemon running agentic coding tasks queried from listeners.

  7. bergmannjg/Regexusesbf30b2e

    A PCRE2 compatible regular expression engine written in Lean 4.