intensional-datatys
A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin. (by plrg-bristol)
haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer (by haskell-suite)
intensional-datatys | haskell-src-exts | |
---|---|---|
- | 2 | |
5 | 193 | |
- | 0.5% | |
0.0 | 0.0 | |
over 3 years ago | 10 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
intensional-datatys
Posts with mentions or reviews of intensional-datatys.
We have used some of these posts to build our list of alternatives
and similar projects.
We haven't tracked posts mentioning intensional-datatys yet.
Tracking mentions began in Dec 2020.
haskell-src-exts
Posts with mentions or reviews of haskell-src-exts.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-23.
-
Let's talk about Brittany
Hindent relies on haskell-src-exts which hasn't been updated for more than a year, so I end up using my own fork of both while my PR is pending. I've also made a number of changes to my Hindent fork to my preferences. Fortunately stack makes it easy to use particular git commits for packages.
-
[ANN] hindent 5.3.2 released
Does this support StandAloneKindSignatures and visible forall quantification? I have an 8mo old PR to haskell-src-exts for these but it doesn't look like it's been merged.
What are some alternatives?
When comparing intensional-datatys and haskell-src-exts you can also consider the following projects:
purescript - A strongly-typed language that compiles to JavaScript
bricks - Bricks is a lazy functional language based on Nix.
elm-export - Create Elm types and JSON decoders from Haskell source.
CoreErlang - AST, parser, pretty-printer for Core Erlang source code.
elm-get
toml-parser - Haskell parser and printer for the TOML 1.0.0 file format
frp-arduino - Arduino programming without the hassle of C.
alga
jvm-parser - A Haskell parser for JVM bytecode files
lens-toml-parser - Lenses for toml-parser
language-javascript - Parser for JavaScript, in Haskell
homplexity - Haskell code complexity and quality measurement
intensional-datatys vs purescript
haskell-src-exts vs bricks
intensional-datatys vs elm-export
haskell-src-exts vs CoreErlang
intensional-datatys vs elm-get
haskell-src-exts vs toml-parser
intensional-datatys vs frp-arduino
haskell-src-exts vs alga
intensional-datatys vs jvm-parser
haskell-src-exts vs lens-toml-parser
intensional-datatys vs language-javascript
haskell-src-exts vs homplexity