GitHub repository: BlockstreamResearch/hal-simplicity
Primary language: Rust
Description: A fork of stevenroose's hal-elements with Simplicity support