# Examples
Here are two examples of using Cesty.
- gpio: This is a very basic example, to demonstrate mocking and build setup
- uart: This example is a bit more involved, to show how to use Cesty with proptest, in scenario that is closer to real life.
Both examples use lib.rs to create simple safe wrappers for the Api defined in the C source files.