instance-map

Haskell dependent types the ugly and brute force way (by litxio)
Review Dependent Types
Source Code
Suggest alternative
Edit details
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.
www.influxdata.com
featured

Instance-map Alternatives

Similar projects and alternatives to instance-map

litxio
instance-map

  1. agda2lagda

    0 instance-map VS agda2lagda

    Simple conversion from Agda text to literate Agda text.

  2. InfluxDB

    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.

    InfluxDB logo

  3. lens-typelevel

    0 instance-map VS lens-typelevel

    Type-level lenses using singletons because why not

  4. list-witnesses

    0 instance-map VS list-witnesses

    Inductive dependently-typed witnesses for working with type-level lists.

  5. decidable

    0 instance-map VS decidable

    Combinators for manipulating dependently-typed predicates.

  6. agda-unused

    0 instance-map VS agda-unused

    Check for unused code in an Agda project.

  7. ral-optics

    0 instance-map VS ral-optics

  8. agda-snippets

    0 instance-map VS agda-snippets

    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  9. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo

  10. Agda

    27 instance-map VS Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  11. cubical

    0 instance-map VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  12. hoq

    0 instance-map VS hoq

    A language based on homotopy type theory with an interval

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better instance-map alternative or higher similarity.
Suggest an alternative to instance-map

instance-map discussion

Log in or Post with

instance-map reviews and mentions

Posts with mentions or reviews of instance-map. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning instance-map yet.
Tracking mentions began in Dec 2020.

Stats

Basic instance-map repo stats
0
2
0.0
almost 3 years ago

litxio/instance-map is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of instance-map is Haskell.

Popular Comparisons

  1. instance-map VS agda2lagda
  2. instance-map VS lens-typelevel
  3. instance-map VS list-witnesses
  4. instance-map VS decidable
  5. instance-map VS agda-unused
  6. instance-map VS ral-optics
  7. instance-map VS agda-snippets
  8. instance-map VS Agda
  9. instance-map VS cubical
  10. instance-map VS hoq

Sponsored
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.
www.influxdata.com
Loading...