← Explore by area

Cluster 50

1 repos

Lean · 1programming-languagemlir

concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Lean2,310 commits