Popularity
4.7
Growing
Activity
0.0
Stable
4
3
3
Monthly Downloads: 1
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
Updating dependencies is time-consuming.
Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.
Promo
blog.mergify.com
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.