0 repos
Programming languages that utilize type systems where types can depend on values to verify complex program properties.
No awesome GitHub repositories for programming languages & runtimes · Dependently Typed Languages yet. Submit a GitHub URL or browse the filters below.
No repositories listed yet — be the first to submit one.