-
kaitai_struct_compiler Public
Forked from kaitai-io/kaitai_struct_compilerKaitai Struct: compiler to translate .ksy => .cpp / .cs / .dot / .go / .java / .js / .lua / .nim / .php / .pm / .py / .rb
Scala GNU General Public License v3.0 UpdatedMar 24, 2025 -
lean-profunctors Public
A port of profunctors from Haskell to Lean 4.
-
named-binary-tag Public
NBT (named binary tag) serialization and deserialization
{{ message }}