refined

Refinement types with static checking (by nikita-volkov)
Review Data
Source Code
hackage.haskell.org
refined Reviews
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Refined Alternatives

Similar projects and alternatives to refined

nikita-volkov
refined

  1. haskell-language-server

    112 refined VS haskell-language-server

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  2. SaaSHub

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

    SaaSHub logo

  3. dotty

    72 refined VS dotty

    The Scala 3 compiler, also known as Dotty.

  4. stack

    49 refined VS stack

    The Haskell Tool Stack (by commercialhaskell)

  5. scala-cli

    39 refined VS scala-cli

    Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

  6. refined

    16 refined VS refined

    Refinement types for Scala

  7. tech-proposals

    11 refined VS tech-proposals

    The Haskell Foundation Tech Proposal Process

  8. accelerate

    10 refined VS accelerate

    Embedded language for high-performance array computations (by AccelerateHS)

  9. ruby-marshal

    0 refined VS ruby-marshal

    Haskell library to parse a subset of Ruby objects serialised with Marshal.dump

  10. elf

    0 refined VS elf

    Parser for ELF object format. (by wangbj)

  11. semantic-source

    24 refined VS semantic-source

    Parsing, analyzing, and comparing source code across many languages

  12. beam

    7 refined VS beam

    A type-safe, non-TH Haskell SQL library and ORM (by haskell-beam)

  13. learn-haskell-blog-generator

    7 refined VS learn-haskell-blog-generator

    Learn Haskell by building a blog generator - an introductory book about Haskell.

  14. encode-string

    0 refined VS encode-string

    String encoding and decoding in Haskell

  15. fmlist

    0 refined VS fmlist

    FoldMap lists

  16. holmes

    0 refined VS holmes

    A reference library for constraint-solving with propagators and CDCL.

  17. llrbtree

    0 refined VS llrbtree

    Left-leaning red-black trees

  18. MicroHs

    4 refined VS MicroHs

    Haskell implemented with combinators

  19. unicode-transforms

    1 refined VS unicode-transforms

    Fast Unicode normalization in Haskell

  20. ghcup-metadata

    3 refined VS ghcup-metadata

    GHCup metadata repository

  21. hnix

    4 refined VS hnix

    A Haskell re-implementation of the Nix expression 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 refined alternative or higher similarity.
Suggest an alternative to refined

refined discussion

Log in or Post with

refined reviews and mentions

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

Stats

Basic refined repo stats
2
186
4.8
30 days ago

nikita-volkov/refined is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of refined is Haskell.

Popular Comparisons

  1. refined VS ruby-marshal
  2. refined VS elf
  3. refined VS semantic-source
  4. refined VS encode-string
  5. refined VS fmlist
  6. refined VS holmes
  7. refined VS llrbtree
  8. refined VS unicode-transforms
  9. refined VS hnix
  10. refined VS gps2htmlReport

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

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

Loading...