assert-failure
free
Our great sponsors
assert-failure | free | |
---|---|---|
0 | 3 | |
2 | 157 | |
- | - | |
2.7 | 4.1 | |
7 months ago | 9 days ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
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.
assert-failure
We haven't tracked posts mentioning assert-failure yet.
Tracking mentions began in Dec 2020.
free
-
Stack-safety for free?
That's an awesome tagline! I have a Haskell background and was alluding to "Monads for free" from the free package when picking the title "Stack-safety for free?" Alluding to Rust's "fearless concurrency" seems so much more appropriate though.
-
[ANN] merge, cropty, and trust-chain
https://hackage.haskell.org/package/trust-chain is a little more out there, but the most interesting to me personally. There are two ways to think about it, each useful to different audiences. On one hand, it can be seen as a tree where the node structure and leaf type are type level parameters, and every internal node is signed by the private key corresponding to the public key at that node. In Haskell, it can be seen as a free monad where every layer is signed in that same way.
What are some alternatives?
Free Category - Free categories, free arrows and free categories with monadic actions
distributed-process-platform - DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task and distributed-process-execution
capability - Extensional capabilities and deriving combinators
extensible-effects - Extensible Effects: An Alternative to Monad Transformers
mmorph - Monad morphisms
ImperativeHaskell - Proof that Haskell can look and act like an imperative language.
tardis
pipes - Compositional pipelines
free-operational - Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
free-er
ChannelT - Generalized stream processors
auto - Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto