staticanalysis
wasm
staticanalysis | wasm | |
---|---|---|
- | - | |
0 | 147 | |
- | - | |
0.0 | 5.6 | |
over 8 years ago | 7 months ago | |
Haskell | Haskell | |
GNU General Public License v3.0 only | MIT 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.
staticanalysis
We haven't tracked posts mentioning staticanalysis yet.
Tracking mentions began in Dec 2020.
wasm
We haven't tracked posts mentioning wasm yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
accelerate-cuda - DEPRECATED: Accelerate backend for NVIDIA GPUs
hLLVM
dhall-json
haste-compiler - A GHC-based Haskell to JavaScript compiler
kaleidoscope - Haskell LLVM JIT Compiler Tutorial
idris - A Dependently Typed Functional Programming Language
Elm - Compiler for Elm, a functional language for reliable webapps.
kempe - Kempe is a compiled stack-based language
ghc-proofs - Let GHC prove program equations for you
accelerate-io - Read and write Accelerate arrays in various formats
husk-scheme - A full implementation of the Scheme programming language for the Haskell Platform.