open-typerep

Open type representations and dynamic types (by emilaxelsson)
Review Data structures Dependent Types
Source Code
hackage.haskell.org
Suggest alternative
Edit details
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured

Open-typerep Alternatives

Similar projects and alternatives to open-typerep

open-typerep

  1. Agda

    27 open-typerep VS Agda

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

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo

  3. cubical

    0 open-typerep VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  4. hypertypes

    6 open-typerep VS hypertypes

    Hypertypes - generic programming for heterogeneous recursive types

  5. singletons

    2 open-typerep VS singletons

    Fake dependent types in Haskell using singletons

  6. hoq

    0 open-typerep VS hoq

    A language based on homotopy type theory with an interval

  7. helf

    0 open-typerep VS helf

    Haskell implementation of the Edinburgh Logical Framework

  8. eliminators

    0 open-typerep VS eliminators

    Dependently typed elimination functions using singletons

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  10. agda-snippets

    0 open-typerep VS agda-snippets

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

  11. Sit

    0 open-typerep VS Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  12. danac

    1 open-typerep VS danac

    A compiler for the Dana programming language

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

open-typerep discussion

Log in or Post with

open-typerep reviews and mentions

Posts with mentions or reviews of open-typerep. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-28.

Stats

Basic open-typerep repo stats
1
4
0.0
over 8 years ago

emilaxelsson/open-typerep 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 open-typerep is Haskell.

Popular Comparisons

  1. open-typerep VS Agda
  2. open-typerep VS cubical
  3. open-typerep VS singletons
  4. open-typerep VS hoq
  5. open-typerep VS helf
  6. open-typerep VS eliminators
  7. open-typerep VS agda-snippets
  8. open-typerep VS Sit
  9. open-typerep VS hypertypes
  10. open-typerep VS danac

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...