Inferara
Formal methods and programming languages research for Web3
Pinned Loading
Repositories
Showing 10 of 10 repositories
- llvm-project Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Inferara/llvm-project’s past year of commit activity - soroban-security-portal Public
Unified knowledge base of Soroban common vulnerabilities and best practices
Inferara/soroban-security-portal’s past year of commit activity - pallet-balances-formal-verification Public
Formal specification and verification pallet_balances properties with Inference language
Inferara/pallet-balances-formal-verification’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…