typed-peg

A parsing expression grammar library that uses a type inference algorithm to ensure termination of the parsing process.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedTuesday, April 12th, 2022 8:00:38pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/lives-group/typed-peg.git#master2a1002fa94cefb4416f9a3c29f5af1f2fd239d36
Last checkedSunday, July 3rd, 2022 4:20:18pm (UTC)
Last editedThursday, February 17th, 2022 4:37:01pm (UTC)
Date addedTuesday, February 8th, 2022 7:17:38pm (UTC)
Modules
  • typed-peg/core.rkt
  • typed-peg/grammar.rkt
  • typed-peg/typing/constraint-solver.rkt
  • typed-peg/examples/test5.rkt
  • typed-peg/typing/solver/script-gen.rkt
  • typed-peg/tests/testgen.rkt
  • typed-peg/debug/infer-only.rkt
  • typed-peg/reader.rkt
  • typed-peg/typing/constraint-pretty.rkt
  • typed-peg/tree.rkt
  • typed-peg/examples/test4.rkt
  • typed-peg/examples/test7.rkt
  • typed-peg/pretty.rkt
  • typed-peg/untyped.rkt
  • typed-peg/parser.rkt
  • typed-peg/examples/test10.rkt
  • typed-peg/typing/constraint.rkt
  • typed-peg/examples/test12.rkt
  • typed-peg/debug/tokenize-only.rkt
  • typed-peg/examples/test1.rkt
  • typed-peg/debug/parse-only.rkt
  • typed-peg/typing/solver/model-parser.rkt
  • typed-peg/typing/constraint-gen.rkt
  • typed-peg/examples/test11.rkt
  • typed-peg/examples/test13.rkt
  • typed-peg/typing/type.rkt
  • typed-peg/examples/test2.rkt
  • typed-peg/debug/z3-script-only.rkt
  • typed-peg/examples/test9.rkt
  • typed-peg/lexer.rkt
  • typed-peg/typing/infer.rkt
  • typed-peg/examples/test6.rkt
  • typed-peg/main.rkt
  • typed-peg/examples/test3.rkt
  • typed-peg/scribblings/typed-peg.scrbl
  • typed-peg/debug/constraints-only.rkt
  • typed-peg/examples/test8.rkt
  • typed-peg/typing/solver/model-lexer.rkt