|-||4 days ago|
|GNU General Public License v3.0 only||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.
We haven't tracked posts mentioning cr yet.
Tracking mentions began in Dec 2020.
Is this meta-authentication system possible in Haskell
1 project | reddit.com/r/haskell | 10 Apr 2022
If you want me to go into more detail after you've given it a go, let me know. There are a few free monad libraries out there. I think the best place to start is https://hackage.haskell.org/package/free, because it is the least cushy library, and so you can learn how they work internally etc. Later you might try algebraic effects as a backup.
Stack-safety for free?
3 projects | reddit.com/r/rust | 18 Nov 2021
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
2 projects | reddit.com/r/haskell | 18 Sep 2021
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
eveff - Efficient Haskell effect handlers based on evidence translation.
effect-monad - Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
fused-effects - A fast, flexible, fused effect system for Haskell
Free Algebras - Free Algebras in Haskell
freer-simple - A friendly effect system for Haskell
cond - Basic conditional operators with monadic variants.
bytestring-progress - A Haskell library for tracking the consumption of lazy ByteStrings
transient - A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
ChannelT - Generalized stream processors
recursion-schemes - Generalized bananas, lenses and barbed wire
extensible-effects - Extensible Effects: An Alternative to Monad Transformers