#

flexible-parsers

Here are 2 public repositories matching this topic...

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers

Updated Apr 24, 2025
OCaml

Alessandro-Salerno / Forflex

Flexible expression evaluation library

java parser library flexible algebra math lexer java-library expression-parser expressions math-parser flexible-parsers flexible-library

Updated Feb 28, 2025
Java

Improve this page

Add a description, image, and links to the flexible-parsers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the flexible-parsers topic, visit your repo's landing page and select "manage topics."