Sign inSign up

polarity-lang/polarity

A language with dependent data and codata types

RustStars 126Forks 10Watchers 126Open issues 37License Apache License 2.0
Details
仓库信息
Ownerpolarity-lang
Homepagehttps://polarity-lang.github.io
GitHubhttps://github.com/polarity-lang/polarity
Last pushed2025-12-09
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--