IP

A Unicode library for OCaml, providing character encoding conversion, normalization, collation, and other internationalization features. Widely used in the OCaml ecosystem.

A purely functional programming language for manipulating GSN (Goal Structured Notation), the diagrammatic notation used to write assurance cases. Evaluation order does not affect results, and the type system guarantees the validity of its output.

A graphical editor for PGSN, allowing GSN diagrams to be created and edited visually in the browser. Published as the result of the undergraduate thesis "Development of a Graphical Editor for Programmable GSN" (AY2025).