10 search results for "tag:"parse""

Showing 1 - 10

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
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
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
FrontC
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
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
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
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
smtlib-utils
Documentation

Parser for SMTLIB2

SMTLIB smt2 parse logic

Simon Cruanes

0.4

BSD-2-Clause

Used by 0 other packages

28 Jun 2022
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
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