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 Oct 8, 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

Server protocol skeletons (94 protocols, 8 core primitives, 6 connectors) modelled in Idris2 with a Zig FFI. Not yet formally verified end to end: the Idris models are not linked to the Zig code or to proven.

open-source dependent-types zig formal-verification research-software idris2 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 Oct 11, 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