Categories: software

Software

Software on github

See https://github.com/tomjridge. Includes various parsers (P1, P3, E3, P4). Some repositories of interest (in roughly chronological order):

Parsing

See the separate page parsing

Verified parser

See the blog article

Older stuff



Related articles:

  • 2017-09-17 Two new OCaml libraries: P0 and tjr-csv
  • 2017-03-16 tjr-btree: a CoW B-tree library in OCaml
  • 2016-11-17 OCaml string functions
  • 2016-02-19 Tree-structured text
  • 2016-02-09 Simple implementation of an Earley-like parsing algorithm
  • 2015-06-26 P5 scala parsing library
  • 2014-11-21 Talk on parsing at the University of Sussex
  • 2014-09-26 P1 combinator parsing library for OCaml
  • 2014-09-26 E3 earley parser library for OCaml
  • 2014-04-15 New release of P3 code on github
  • 2014-03-02 New release of P3 code on github
  • 2013-12-16 New release of P3 code on github
  • 2013-11-24 Experience of using Lem
  • 2011-12-01 Verified parsing