KM Series

A series of infrastructure and tools, with a focus on interpreters, programmable tools.

Glossary Series ~/u are infrastructure and utilities software; series ~/s are servlets, modules and plug-ins for persistent systems; series ~/g are games, world simulations, and heavy-duty applications.

Currently, the KM Series software are for personal / internal use. The following are documentations, designs, artifacts about them. Some source code are available.

• ~/u/utop

  A UTop-based OCaml hybrid compiler / interpreter and distribution, built on the foundation of ~/u/topcore, focusing on large-scale scripting.
• ~/u/topcore

  A library of interpreter combinators.
• ~/u/scaffold.0/drv

  Extension to Dune-like build systems to support Nix derivations.
• ~/u/webs

  A ~/u/utop-based interpreter for running web servers.
• ~/layer9

  A ~/u/webs-based modular web server with functors as dynamically-linked plugins, and staged pattern-matching arms as routers.
• ~/u/oar

  A ~/u/utop-based programmable generator of archival pages (including this webpage).
• ~/u/prgm.0/peripherals

  Write full-stack Unity applications that directly interface with embedded devices.
• ~/u/arduinojoy.driver

  A ~/u/utop-based controller for mech game - this is the ~/u/libudo-based Linux driver.
• ~/u/tensor

  A library of abstract mathematics combinators.
• ~/u/blueprint-execute

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

Works @ TTKB-HCMUT

• bkhack

  Abstract, heterogeneous full-stack application.
• Microcluster

  Interpreter for computer clusters @ home
• oglsl

  Embedding GLSL in OCaml
• qmk.logger

  Graphical keylogger and keyboard layout eDSL for QMK ortholinear keyboards.

Works @ SimGlobe

• SimGlobe

  (Deprecated) Economic web game simulator

Misc