Skip to content
Repository list hito.git
  • Summary
  • Commits
  • Files
< 18 >

[OCaml] High Intensity Training Online

  • 2026-08-31 11:54 build Declare ocsigenserver and ocsipersist-sqlite deps 9 days ago Marius Peter
  • 2026-08-31 01:01 fix declare UTF-8, which was mangling every non-ASCII character 9 days ago Marius Peter
  • 2026-08-31 00:57 docs record the app and web tiers, and correct stale steering 9 days ago Marius Peter
  • 2026-08-31 00:54 feat the HD1 flow in a browser 9 days ago Marius Peter
  • 2026-08-31 00:40 feat reinstate hito.app, and serve a page from a standalone binary 9 days ago Marius Peter
  • 2026-08-31 00:21 docs correct inaccuracies in ARCHITECTURE 9 days ago Marius Peter
  • 2026-08-31 00:12 docs rewrite ARCHITECTURE for the HD1-sourced ontology 9 days ago Marius Peter
  • 2026-08-31 00:10 feat implement Progression, and register every suite 9 days ago Marius Peter
  • 2026-08-31 00:07 feat implement Logbook, the only source of evidence 9 days ago Marius Peter
  • 2026-08-31 00:05 feat implement Entry, where plan meets record 9 days ago Marius Peter
  • Summary
  • Commits
  • Files

Copyright 2026 blendux

Validate