9 Dependent Types packages and projects
Agda10.0 9.8 HaskellAgda is a dependently typed programming language / interactive theorem prover.
singletons9.7 5.6 HaskellFake dependent types in Haskell using singletons
cubical9.4 0.0 HaskellImplementation of Univalence in Cubical Sets
hoq8.9 0.0 HaskellA language based on homotopy type theory with an interval
helf7.3 0.0 HaskellHaskell implementation of the Edinburgh Logical Framework
eliminators7.2 3.2 HaskellDependently typed elimination functions using singletons
open-typerep4.2 0.0 HaskellOpen type representations and dynamic types
agda-snippets4.2 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Sit3.9 0.0 HaskellPrototypical type checker for Type Theory with Sized Natural Numbers
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.