Popularity
3.8
Declining
Activity
0.0
Stable
4
2
3
Monthly Downloads: 8
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-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.com

Do you think we are missing an alternative of open-typerep or a related project?
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.