GitHub repository: zkFold/symbolic
Primary language: Haskell
Description: Symbolic framework