Name: hyperpolymath
Bio: NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.
View profile at GitHubPrograms
bunsenite NOASSERTION
Nickel configuration file parser with multi-language FFI bindings
2000
View Programdocker,oci,zig,zig-package
idris2-zig-ffi NOASSERTION
Verified Idris 2 libraries callable from any language via Zig FFI/ABI bridge. Proof-carrying code for Python, Rust, JavaScript, Go, and more.
1000
View Programdocker,oci,zig,zig-package
zigzag-ssg NOASSERTION
High-performance static site generator in Zig. Zero-overhead abstractions and compile-time templates.
1000
View Programdocker,oci,zig,zig-package
idris2-zig-abi NOASSERTION
Bidirectional ABI bridge: Idris 2 ↔ Any Language. Stable calling conventions, memory layout, cross-platform binary interface via Zig.
1000
View Programdocker,oci,zig,zig-package