argumentcomputer/RustFFI.lean
Template for Lean<->Rust FFI
Is argumentcomputer/RustFFI.lean beginner-friendly?
We have not seen enough recent pull requests from first-time contributors to argumentcomputer/RustFFI.lean to say how often they are merged. No beginner-friendly issue is open right now; the list below has the other issues we hold for it.
- Stars
- 17
- Forks
- 2
- Open beginner issues
- 0
- Indexed issues
- 1
- Dominant language
- Lean
- License
- MIT
- Last GitHub push
- Dec 13, 2023
- Latest indexed
- Sep 14, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
How to contribute to argumentcomputer/RustFFI.lean
- There is no contributing guide, so start from the README and a few recently merged pull requests to see how changes are proposed.
- Your contributions will be published under the project's MIT license.
- Follow the repository to hear when a new beginner-friendly issue opens, or look through the other issues below.
Loading issues
Issues somebody may already be working on are listed last. List everything by date
-
Difficulty 4/5 3-5 days Newbie friendliness 30/100