11 search results for "tag:"parse""

Showing 1 - 11
  1. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  2. ctoxml
    Documentation
    Parses a C program into Cabs AST and dumps as an XML document
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  3. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 7 other packages
    06 Jul 2023
  4. FrontC

    No documentation

    Parses C programs to an abstract syntax tree
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 3 other packages
    26 May 2021
  5. orsetto
    Documentation
    A library of assorted structured data interchange languages
    org:conjury.org unicode data-interchange parser-combinators serialization json cbor uri url tai64
    james woodyatt <jhw@conjury.org>
    1.1.3
    BSD-2-Clause
    Used by 0 other packages
    05 Apr 2023
  6. ppx_parser
    Documentation
    OCaml PPX extension for writing stream parsers
    stream parser
    Niels Mommen <nielsmommen@hotmail.com>
    0.1.1
    ISC
    Used by 0 other packages
    26 Apr 2023
  7. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.2
    ISC
    Used by 3 other packages
    23 Jan 2023
  8. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  9. starpath
    Documentation
    A position-aware parser combinator library with readable errors
    parser parser-combinators
    Matthew Toohey <contact@mtoohey.com>
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    25 Jan 2024
  10. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 1 other packages
    09 Feb 2019
  11. transept
    Documentation
    Generalized parser combinator library
    library parser-combinator
    Didier Plaindoux <d.plaindoux@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    05 Mar 2020