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)
elm-get
By elm-lang
intensional-datatys | elm-get | |
---|---|---|
- | 1 | |
5 | 216 | |
- | - | |
0.0 | 0.0 | |
over 3 years 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.
elm-get
Posts with mentions or reviews of elm-get.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-06-17.
-
Introducing: Custom Elements Manifest
Another interesting usecase, inspired by elm-package, is that tooling could be able to detect whether or not the public API of a custom element has changed, based on a snapshot of the current custom-elements.json file to decide the impact of an update, and potentially prevent breaking API change in patch or minor versions.
What are some alternatives?
When comparing intensional-datatys and elm-get you can also consider the following projects:
purescript - A strongly-typed language that compiles to JavaScript
elm-yesod
elm-export - Create Elm types and JSON decoders from Haskell source.
lens-toml-parser - Lenses for toml-parser
frp-arduino - Arduino programming without the hassle of C.
elm-get
jvm-parser - A Haskell parser for JVM bytecode files
CoreErlang - AST, parser, pretty-printer for Core Erlang source code.
language-javascript - Parser for JavaScript, in Haskell
language-thrift - Haskell parser for the Thrift IDL format.
language-python - A parser for Python 2.x and 3.x written in Haskell
language-rust - Parser and pretty-printer for the Rust language
intensional-datatys vs purescript
elm-get vs elm-yesod
intensional-datatys vs elm-export
elm-get vs lens-toml-parser
intensional-datatys vs frp-arduino
elm-get vs elm-get
intensional-datatys vs jvm-parser
elm-get vs CoreErlang
intensional-datatys vs language-javascript
elm-get vs language-thrift
intensional-datatys vs language-python
elm-get vs language-rust