blanks
cryptol
blanks | cryptol | |
---|---|---|
- | - | |
6 | 1,108 | |
- | 0.5% | |
2.9 | 9.1 | |
5 months ago | 20 days ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
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.
blanks
We haven't tracked posts mentioning blanks yet.
Tracking mentions began in Dec 2020.
cryptol
We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
liquidhaskell - Liquid Types For Haskell
CoreErlang - AST, parser, pretty-printer for Core Erlang source code.
language-python - A parser for Python 2.x and 3.x written in Haskell
alga
purescript - A strongly-typed language that compiles to JavaScript
haskell-names - Haskell suite library for name resolution
ivory - The Ivory EDSL
snaplet-lss - Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.
elm-get
bricks - Bricks is a lazy functional language based on Nix.
elm-export - Create Elm types and JSON decoders from Haskell source.
language-javascript - Parser for JavaScript, in Haskell