Inferara/inference

À quoi ça sert

Inferara/inference est un dépôt GitHub public, principalement en Rust. Le dernier relevé indique 25 étoiles et 17 forks. Sujets : compiler, formal specification, formal verification, programming language, sécurité, smart contracts. Lis la documentation, la licence et les issues actuelles avant utilisation.

🌀 Inference programming language

Dépôts GitHub

Étoiles

25

Étoiles gagnées · 7 jours

—

Forks

17

Langage principal

Rust

Licence du dépôt

GPL-3.0

Dernier envoi de code

10 oct. 2026

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.