Inferara/inference

O que faz

Inferara/inference é um repositório público GitHub, principalmente em Rust. O último registro informa 25 estrelas e 17 forks. Temas: compiler, formal specification, formal verification, programming language, segurança, contratos inteligentes. Leia documentação, licença e issues atuais antes de usar.

🌀 Inference programming language

Repositórios GitHub

Estrelas

25

Estrelas ganhas · 7 dias

—

Forks

17

Linguagem principal

Rust

Licença do repositório

GPL-3.0

Último envio de código

10 de out. de 2026

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.