Zig FFI bindings for FFmpeg multimedia with Idris2 ABI verification

The Type-Safe Orchestration Bridge. Translates Augmented-Nickel configurations into atomic deployment commands for nala, rpm-ostree, brew, and scoop. The enforcement engine for the must-spec.

Labour agreements as executable contracts. Because workers' rights need types

Ada bindings for Zig FFI - call Zig libraries from Ada

Experimentation sandboxes for language and learning

Zig FFI bindings for CUE configuration language with Idris2 ABI verification

Playground for My-Lang progressive language family (me → solo → duet → ensemble)

Gleam bindings for Zig FFI - call Zig libraries from Gleam

Type-safe Zig bridge for Nginx configuration with Ephapax linear tokens

Zig FFI bindings for DocMatrix documentation with Idris2 ABI verification

OCaml bindings for Zig FFI - call Zig libraries from OCaml

Programming language combining affine types, dependent types, and extensible effects - compiling to WebAssembly

TypeScript-free PWA framework with WCAG 2.3 AAA accessibility and WASM

My is a modern, first class AI programming language designed with progressive complexity. Start with the clarity of Python or Go, and grow into the expressive power of Ada, Rust, or Zig - without the steep learning curve. My is the language that grows with you.

Zig FFI bindings for Polyglot content extraction with Idris2 ABI verification

Zig FFI for theorem prover integration (Agda/Coq/Isabelle) - Inspired by echidnabot

Zig FFI bindings to librclone for cloud storage operations

Zig FFI bindings to libwireguard for VPN tunnel management

Extended Zig FUSE bindings with cloud-optimized features

High-performance FFI bindings between Bebop serialization and V language for IIoT edge computing