This crate aims to create Rust bindings to the HAL using more idiomatic Rust design patterns.
Also be sure to check out a more mature (and probably cleaner) crate here. It has bindings to a bunch of WPILIB and some basic abstractions for programming robots
WPILibC and WPILibJ, and the library headers used in this crate are in this repo.