zig-ffi

Here are 3 public repositories matching this topic...

hyperpolymath / cloud-sync-tuner

Ada TUI for managing rclone cloud mount configurations with rate limiting and SDP security

open-source security tui rclone ada spark-ada zero-trust cloud-sync zig-ffi hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

Updated Sep 19, 2026
Ada

mmycin / zigport

Star

A NPM Package and CLI tool that automatically generates TypeScript FFI bindings for Zig libraries, making it easy to call Zig functions from JavaScript/TypeScript in Bun projects

cli generator zig ffi bun-ffi zig-ffi

Updated Jun 3, 2025
TypeScript

hyperpolymath / proven-servers

Sponsor

Star

Formally verified server components — 94 protocol skeletons, 8 core primitives, 6 connector interfaces. Idris2 ABI + Zig FFI.

open-source dependent-types zig formal-verification research-software zig-ffi hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification protocol-skeletons idris2-abi

Updated Sep 19, 2026
Zig

Add this topic to your repo

To associate your repository with the zig-ffi topic, visit your repo's landing page and select "manage topics."

Learn more