• README ⤓ .md 2026-07-12T144343.000 000000000117488
  Version 1.1.0 · Unicode 17.0 · SPARK/Ada (Ada 2022) · 53 source files · ~30,500 lines
• LICENSE ⤓ .md 2026-07-12T134203.000 000000000097976
  Copyright © 2026 Lingenic LLC, Wyoming, United States of America. All rights reserved. Published in Switzerland.
• VERSION ⤓ 2026-07-12T144326.000 000000000000048
  1.0
• docs
• docs-writeup
• include
• scripts
• src
• src-c
  C bindings for Lingenic-Text, the formally verified Unicode 17.
• tests
  c …
• build ⤓ .adc 2026-03-30T190433.000 000000000000464
• COPYRIGHT ⤓ 2026-07-12T135304.000 000000000002616
• gnatprove ⤓ .adc 2026-03-30T182417.000 000000000000456
• lingenic_text ⤓ .gpr 2026-07-12T135544.000 000000000012752
• lingenic_text_c ⤓ .gpr 2026-07-12T135544.000 000000000018824