manifold-lang's Repositories

manifold-lang / manifold-frontend

69%

Build #98: Use MappedArray for tuple types on branch master almost 10 years ago

master: 69%

manifold-lang / manifold-backend-digital

76%

Build #24: Merge pull request #15 from mtrberzi/smt2 Generate SMT2 expressions for digital circuits on branch master over 10 years ago

master: 76%

manifold-lang / manifold-core

88%

Build #94: Merge pull request #52 from nikklassen/infer Make inferred types a subtype of their co... on branch master over 8 years ago

master: 88%

manifold-lang / manifold

45%

Build #247: Rename typo on branch master about 11 years ago

master: 45%