Our great sponsors
| cryptol | alga | |
|---|---|---|
| - | - | |
| 1,107 | 4 | |
| 0.6% | - | |
| 9.2 | 0.0 | |
| 9 days ago | - | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only |
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.
cryptol
We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.
alga
We haven't tracked posts mentioning alga yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
CoreErlang - AST, parser, pretty-printer for Core Erlang source code.
feldspar-language - The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
haskell-names - Haskell suite library for name resolution
elm-reactor
snaplet-lss - Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.
ivory - The Ivory EDSL
bricks - Bricks is a lazy functional language based on Nix.
formura - Describe stencil formurae without even translating them
language-javascript - Parser for JavaScript, in Haskell
elm-get
language-rust - Parser and pretty-printer for the Rust language
camfort - Light-weight verification and transformation tools for Fortran