Popularity
4.4
Declining
Activity
0.0
Stable
4
2
3
Monthly Downloads: 3
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v0.6.1
open-typerep alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view open-typerep alternatives based on common mentions on social networks and blogs.
-
Agda
Agda is a dependently typed programming language / interactive theorem prover. -
eliminators
Dependently typed elimination functions using singletons -
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
Sit
Prototypical type checker for Type Theory with Sized Natural Numbers
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org
Do you think we are missing an alternative of open-typerep or a related project?
Popular Comparisons
README
open-typerep
This package uses Data Types à la Carte to provide open type representations and dynamic types/coercions for open type universes.
For more information, see this page.