GitHub repository: trifle-labs/anybody-problem
Primary language: Solidity
Description: Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.