I am going to study the wiki doc; I hope to contribute soon (again, this is not a dangerous advice :smile: )
I have implemented the abstract data types which define FIAT's API, and have written their documentation. The documentation can be found here. In particular, I'd recommend taking a look at the inheritance tree. My plan now is to start writing unit tests for the iterator and type and to implement said type.
FIAT is a massive project, so I would be really grateful if people could volunteer to implement particular components. That way it might actually be ready for a release this century. I can suggest particular places to start, if you like.
Wonderful! :clap: I will start this week with the study of tree and documentation. See you soon.