Build software better, together

hyperpolymath / idrisiser

Generate proven-correct wrappers from interfaces using Idris2 dependent types

rust open-source dependent-types theorem-proving code-generation formal-verification research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / otpiser

Sponsor

Star

Generate OTP supervision trees and fault-tolerance scaffolding

rust open-source erlang elixir zig code-generation research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 21, 2026
Rust

hyperpolymath / lustreiser

Sponsor

Star

Generate formally verified real-time embedded code via Lustre

rust open-source real-time zig code-generation safety-critical research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / nextgen-language-evangeliser

Sponsor

Star

Nexgen Language Evangeliser — educational toolkit for teaching coding through progressive code transformation

javascript open-source reproducible-research code-generation research-software hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
JavaScript

hyperpolymath / verisimiser

Sponsor

Star

Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays

rust open-source database code-generation research-software idris2 provenance-tracking hyperpolymath epistemic-infrastructure temporal-versioning verisimdb epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / dafniser

Sponsor

Star

Generate correct-by-construction code for critical functions using Dafny

open-source zig z3 code-generation formal-verification research-software idris2 smt-solving hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Idris

hyperpolymath / anvomidaviser

Sponsor

Star

Convert ISU notation to formal figure skating programs via Anvomidav

rust open-source code-generation figure-skating research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification choreographic-interaction isu-notation

Updated Sep 20, 2026
Rust

hyperpolymath / alloyiser

Sponsor

Star

Extract formal models from API specs and verify with Alloy

rust open-source model-checking code-generation alloy sat-solver formal-verification research-software idris2 hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / iseriser

Sponsor

Star

Meta-framework that generates new -iser projects from language descriptions

rust open-source zig code-generation scaffolding meta-framework research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / julianiser

Sponsor

Star

Auto-wrap Python/R data pipelines into Julia for 100x speedups

rust open-source data-science julia zig code-generation research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / ffmpeg-ffi

Sponsor

Star

Zig FFI bindings for libffmpeg.

open-source reproducible-research zig systems-programming research-software hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 19, 2026
Zig

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 20, 2026
Zig

hyperpolymath / ephapaxiser

Sponsor

Star

Enforce single-use linear type semantics on resources via Ephapax

rust open-source memory-safety code-generation linear-types research-software idris2 resource-safety hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / futharkiser

Sponsor

Star

Compile annotated array operations to GPU kernels via Futhark

open-source zig opencl cuda code-generation futhark research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Idris

hyperpolymath / proven

Sponsor

Star

Formally verified safety via Idris2 dependent types — mathematically proven safe operations that cannot crash

open-source registry dependent-types cryptography zig formal-verification research-software idris2 cryptographic-identity hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Idris

hyperpolymath / phronesiser

Sponsor

Star

Add normative ethical constraints to AI agents via Phronesis

rust open-source code-generation ai-safety deontic-logic research-software idris2 computational-ethics hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification normative-constraints

Updated Sep 20, 2026
Rust

hyperpolymath / eclexiaiser

Sponsor

Star

Add energy/carbon/resource-cost awareness to software via Eclexia

rust open-source zig code-generation energy-efficiency green-computing research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / atsiser

Sponsor

Star

Wrap C codebases in ATS linear types for zero-cost memory safety

rust open-source memory-safety code-generation ats linear-types research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

hyperpolymath / bebop-ffi

Sponsor

Star

Zig FFI bindings for the Bebop binary serialization format.

open-source reproducible-research zig systems-programming research-software hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Zig

hyperpolymath / chapeliser

Sponsor

Star

General-purpose Chapel acceleration framework — distribute any workload without learning Chapel

rust open-source zig distributed-computing code-generation chapel research-software idris2 hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification

Updated Sep 20, 2026
Rust

Navigation Menu

abi-verification

Here are 31 public repositories matching this topic...

hyperpolymath / idrisiser

hyperpolymath / otpiser

hyperpolymath / lustreiser

hyperpolymath / nextgen-language-evangeliser

hyperpolymath / verisimiser

hyperpolymath / dafniser

hyperpolymath / anvomidaviser

hyperpolymath / alloyiser

hyperpolymath / iseriser

hyperpolymath / julianiser

hyperpolymath / ffmpeg-ffi

hyperpolymath / proven-servers

hyperpolymath / ephapaxiser

hyperpolymath / futharkiser

hyperpolymath / proven

hyperpolymath / phronesiser

hyperpolymath / eclexiaiser

hyperpolymath / atsiser

hyperpolymath / bebop-ffi

hyperpolymath / chapeliser

Add this topic to your repo