Skip to content
You must be logged in to sponsor Inferara

Become a sponsor to Inferara

@Inferara

Inferara

Japan

Inferara is an independent research group specializing in Programming Languages and Formal Methods.

We work towards fostering the open source and publish the results of our work for the public good.

Inference

Inference is the first developer-friendly formal specification language designed for Web3.

Inference compiler is here.
Inference language spec is also available.

@Inferara

We will stop spending our savings.

Meet the team

Featured work

  1. Inferara/inference

    🌀 Inference programming language

    Rust 22
  2. Inferara/inference-language-spec

    🌀 Inference programming language specification

  3. Inferara/soroban-security-portal

    Unified knowledge base of Soroban common vulnerabilities and best practices

    TypeScript 10

Learn more about sponsoring developers and organizations.

Report abuse

0% towards $10,000 per month goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.