axiom-ir
Канонический валидатор, нормализатор и утилита SHA-256-идентичности для формата AXIOM-IR/2.
Связанные исследования
Заголовок раздела «Связанные исследования»Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.
Исходный код · MIT