argumentcomputer/RustFFI.lean
Auf GitHub ansehenTemplate for Lean<->Rust FFI
- Sterne
- 17
- Forks
- 2
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 1
- Vorherrschende Sprache
- Lean
- Lizenz
- MIT
- Letzter GitHub-Push
- 13.12.2023
- Zuletzt indexiert
- 14.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
argumentcomputer/RustFFI.lean#5 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·