The KM Series of infrastructure and tools, with a focus on interpretation and program parsing.

Glossary Subseries ~/u are infrastructure and utilities software; subseries ~/s are persistent services and daemon software.

Currently, these software are for internal / private use. The following are documentations, designs, artifacts about them. Some source code are available.

• Utopk (~/u/utop)

  A Utop-based OCaml interpreter and distribution focusing on large-scale scripting.
• Topcore (~/u/topcore)

  Interpreter combinators in OCaml.
• Topcore Code Programs (~/u/topcore.cprg)

  Parser combinators in OCaml and MetaOCaml—concurrent and staged.
• Layer 9 (~/s/layer9)

  Web server with language-level functor as plugin, and staged language-level pattern matching as routing.
• Oar (~/u/oar)

  OCaml archive page generator with internal DSL.
• Blueprint Execute (~/u/blueprint-execute)

  Quickly write GNOME desktop applications by Blueprint layout files and JavaScript logic files.