Inferara/inference

A cosa serve

Inferara/inference è un repository GitHub pubblico, principalmente in Rust. L'ultimo rilevamento indica 25 stelle e 17 fork. Temi: compiler, formal specification, formal verification, programming language, sicurezza, smart contract. Leggi documentazione, licenza e issue attuali prima dell'uso.

🌀 Inference programming language

Repository GitHub

Stelle

25

Stelle ottenute · 7 giorni

—

Fork

17

Linguaggio principale

Rust

Licenza del repository

GPL-3.0

Ultimo invio di codice

10 ott 2026

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.