Zig FFI bindings for FFmpeg multimedia with Idris2 ABI verification

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.

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

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.

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

Gleam bindings for Zig FFI - call Zig libraries from Gleam

Ada bindings for Zig FFI - call Zig libraries from Ada

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

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

OCaml bindings for Zig FFI - call Zig libraries from OCaml

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

Zig FFI bindings for Polyglot content extraction with Idris2 ABI verification

Experimentation sandboxes for language and learning

Zig FFI bindings for CUE configuration language with Idris2 ABI verification

Zig FFI bindings for DocMatrix documentation with Idris2 ABI verification

Zig FFI bindings to libwireguard for VPN tunnel management

Extended Zig FUSE bindings with cloud-optimized features

A multi-number system auctioning and gambling programming language and system to help level the playing field when it comes to one of the biggest disasters of our time

Teaching language where code breaks intentionally

Harvard Architecture programming language making code injection grammatically impossible through grammar design