Stars
Blue Obelisk Data Repository - your one stop place of element and isotope data.
Newtype, Generic Interface Deriving
A core language and API for dependently typed languages
Simple configuration and extra tools for NVIM + LSP + Idris2
A purely functional programming language with first class types