GitHub repository: manifold-lang/manifold-core
Primary language: Java
Description: Core library for Manifold frontends and backends