Inferara

All

12 repositories

inference
Public
🌀 Inference programming language
programming-language security compiler smart-contracts web3 formal-verification formal-specification
Rust
•
GNU General Public License v3.0
•15•16•47•11•Updated Feb 25, 2026Feb 25, 2026
inference-language-spec
Public
🌀 Inference programming language specification
programming-language formal-verification formal-specification
Other
•2•17•1•0•Updated Feb 19, 2026Feb 19, 2026
soroban-security-portal
Public
Unified knowledge base of Soroban common vulnerabilities and best practices
smart-contracts stellar smart-contract-tools smart-contracts-audit soroban smart-contract-security
TypeScript
•
Apache License 2.0
•32•7•54•20•Updated Feb 4, 2026Feb 4, 2026
inferara.com
Public
Inferara official website
theorem-proving mathematics formal-methods web3 formal-verification mathematical-logic blockchain-security
HTML
•2•3•1•1•Updated Jan 16, 2026Jan 16, 2026
book
Public
The Inference Programming Language
inference-programming-language
JavaScript
•
Apache License 2.0
•0•0•0•0•Updated Jan 11, 2026Jan 11, 2026
tree-sitter-inference
Public
Inference Grammar for tree-sitter
tree-sitter parser inference
JavaScript
•
GNU General Public License v3.0
•0•2•0•0•Updated Jan 9, 2026Jan 9, 2026
llvm-project
Public
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM
•
Other
•16k•0•0•1•Updated Dec 31, 2025Dec 31, 2025
merkle-tree-wasm-spec
Public
MerkleTree WASM formal specification
WebAssembly
•
MIT License
•0•1•0•0•Updated Dec 18, 2025Dec 18, 2025
inf-wasm-tools
Public
WASM tools with non deterministic operations support
wasm inference formal-methods formal-specification
Rust
•
MIT License
•0•3•1•0•Updated Dec 9, 2025Dec 9, 2025
pallet-balances-formal-verification
Public
Formal specification and verification pallet_balances properties with Inference language
formal-methods formal-verification formal-specification polkadot
WebAssembly
•
MIT License
•1•0•0•0•Updated Oct 29, 2025Oct 29, 2025
w3f-bulbasaur
Public
Preparing Polkadot pallet_balances for Formal Verification
WebAssembly
•
MIT License
•0•0•0•0•Updated Oct 13, 2025Oct 13, 2025
inference-fuzzer
Public
Program that generates random inference code for testing
Haskell
•
BSD 3-Clause "New" or "Revised" License
•0•0•3•0•Updated Jul 29, 2025Jul 29, 2025