https://github.com/inferara/inference-language-spec

🌀 Inference programming language specification

formal-specification formal-verification programming-language

Last synced: 03 Mar 2026

https://github.com/inferara/inferara.com

Inferara official website

blockchain-security formal-methods formal-verification mathematical-logic mathematics theorem-proving web3

Last synced: 04 Mar 2026

https://github.com/inferara/soroban-security-portal

Unified knowledge base of Soroban common vulnerabilities and best practices

Last synced: 27 Jan 2026

https://github.com/inferara/tree-sitter-inference

Inference Grammar for tree-sitter

inference parser tree-sitter

Last synced: 17 Apr 2026

https://github.com/inferara/inf-wasm-tools

Non deterministic WASM tools

wasm

Last synced: 05 Oct 2025

https://github.com/inferara/merkle-tree-wasm-spec

MerkleTree WASM formal specification

Last synced: 09 May 2026