typed-peg

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

Build status: failed valid license

Documentation README Download
Authors
Documentation
Tags
License
Last updatedWednesday, June 19th, 2024 5:23:16am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/lives-group/typed-peg.git#master019d8234d225cb022c4ffa2756615d11ea2bbfd9
Last checkedSunday, December 21st, 2025 5:56:00am (UTC)
Last editedThursday, February 17th, 2022 4:37:01pm (UTC)
Date addedTuesday, February 8th, 2022 7:17:38pm (UTC)
Modules
  • typed-peg/typing/constraint-solver.rkt
  • typed-peg/grammar.rkt
  • typed-peg/debug/constraints-only.rkt
  • typed-peg/typing/solver/model-lexer.rkt
  • typed-peg/examples/test10.rkt
  • typed-peg/lexer.rkt
  • typed-peg/debug/infer-only.rkt
  • typed-peg/examples/test7.rkt
  • typed-peg/debug/tokenize-only.rkt
  • typed-peg/tests/testgen.rkt
  • typed-peg/tree.rkt
  • typed-peg/typing/constraint-pretty.rkt
  • typed-peg/typing/constraint.rkt
  • typed-peg/examples/test8.rkt
  • typed-peg/debug/parse-only.rkt
  • typed-peg/examples/test9.rkt
  • typed-peg/scribblings/typed-peg.scrbl
  • typed-peg/examples/test1.rkt
  • typed-peg/typing/type.rkt
  • typed-peg/examples/test4.rkt
  • typed-peg/examples/test13.rkt
  • typed-peg/reader.rkt
  • typed-peg/core.rkt
  • typed-peg/examples/test6.rkt
  • typed-peg/examples/test2.rkt
  • typed-peg/examples/test3.rkt
  • typed-peg/examples/test11.rkt
  • typed-peg/main.rkt
  • typed-peg/pretty.rkt
  • typed-peg/examples/test12.rkt
  • typed-peg/untyped.rkt
  • typed-peg/typing/solver/model-parser.rkt
  • typed-peg/parser.rkt
  • typed-peg/typing/solver/script-gen.rkt
  • typed-peg/debug/z3-script-only.rkt
  • typed-peg/typing/constraint-gen.rkt
  • typed-peg/typing/infer.rkt
  • typed-peg/examples/test5.rkt