ewe
why3
Our great sponsors
ewe | why3 | |
---|---|---|
- | - | |
8 | 4 | |
- | - | |
0.0 | 0.0 | |
about 5 years ago | over 8 years ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | 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.
ewe
We haven't tracked posts mentioning ewe yet.
Tracking mentions began in Dec 2020.
why3
We haven't tracked posts mentioning why3 yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
Paraiso - a Parallel Integration Scheme Organizer for partial differential equations solvers
z3-encoding
LibClang - Haskell FFI to libclang
peggy - The Parser Generator for Haskell
elsa - Elsa is a lambda calculus evaluator
language-javascript - Parser for JavaScript, in Haskell
liquid-fixpoint - Horn Clause Constraint Solving for Liquid Types
liquidhaskell - Liquid Types For Haskell
elm-bridge - Haskell: Derive Elm types from Haskell types
smt-lib - Parsing and printing SMT-LIB from Haskell.
formura - Describe stencil formurae without even translating them
purescript - A strongly-typed language that compiles to JavaScript