helf

Haskell implementation of the Edinburgh Logical Framework (by andreasabel)
Review Data structures Dependent Types Logical Framework lf Haskell twelf
Source Code
www2.tcs.ifi.lmu.de
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Helf Alternatives

Similar projects and alternatives to helf

andreasabel
helf

  1. miso

    18 helf VS miso

    :ramen: A tasty Haskell front-end framework

  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. open-typerep

    1 helf VS open-typerep

    Open type representations and dynamic types

  4. cubical

    0 helf VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  5. Agda

    27 helf VS Agda

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

  6. agda-snippets

    0 helf VS agda-snippets

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

  7. Sit

    0 helf VS Sit

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

  8. singletons

    2 helf VS singletons

    Fake dependent types in Haskell using singletons

  9. SaaSHub

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

    SaaSHub logo

  10. heaps

    1 helf VS heaps

    Asymptotically optimal Brodal/Okasaki heaps (by ekmett)

  11. eliminators

    0 helf VS eliminators

    Dependently typed elimination functions using singletons

  12. hoq

    0 helf 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 helf alternative or higher similarity.
Suggest an alternative to helf

helf discussion

Log in or Post with

helf reviews and mentions

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

We haven't tracked posts mentioning helf yet.
Tracking mentions began in Dec 2020.

Stats

Basic helf repo stats
0
27
2.9
5 months ago

andreasabel/helf is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of helf is Haskell.

Popular Comparisons

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

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...