LEAN

BUM

BUM (entry point)
IO (various side effects: cleaning, compilation, etc)
TYPES (basic types)
PARSER (configuration file parser)

N2O

INTERNAL (basic structures and types)
HTTP (Lean 4 wrapper for server written in C++)
BERT (BERT decoder/encoder)

NITRO

ELEMENTS (basic HTML elements)
JAVASCRIPT (basic JavaScript functions)
PROTO (N2O entry point for NITRO projects)
TAGS (HTML+JS renderer)

N2Oへの ❤ をもって作られた

Advertisement