GitHub repository: BlockstreamResearch/simplicity
Primary language: HTML
Description: Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.