Comonads

Open-source projects categorized as Comonads | Edit details
Language filter: + Haskell + Scala

Top 23 Comonad Open-Source Projects

  • GitHub repo Learn-by-doing functional programming course on Scala

    learn-by-doing course/tutorial for functional programming on scala

  • GitHub repo proto-lens

    API for protocol buffers using modern Haskell language and library patterns.

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo microlens

    A lightweight (but compatible with ‘lens’) lenses library

  • GitHub repo msgpack

    Haskell implementation of MessagePack / msgpack.org[Haskell]

  • GitHub repo store

    Fast binary serialization in Haskell (by mgsloan)

  • GitHub repo file-embed

    Use Template Haskell to embed file contents directly.

  • GitHub repo comonad

    Haskell 98 comonads

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo semigroupoids

    Project mention: Folding Nonempty Structures In Haskell | reddit.com/r/haskell | 2021-07-22

    obligatory shoutout to semigroupoids 🤘

  • GitHub repo fclabels

    First class composable record labels for Haskell.

  • GitHub repo kan-extensions

    Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

  • GitHub repo data-category

    Library of categories, with categorical constructions on them

    Project mention: Monthly Hask Anything (October 2021) | reddit.com/r/haskell | 2021-10-02

    Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.

  • GitHub repo base64-bytestring

    Fast base64 encoding and decoding for Haskell.

    Project mention: Yatima: A programming language for the decentralized web | news.ycombinator.com | 2021-06-07

    Sure, if you consider Haskell's runtime (I know that technically GHC /= Haskell, but in practice it's the only Haskell that matters, except maybe something like Asterius) all the primitives are backed by C libraries: https://hackage.haskell.org/package/ghc-prim-0.4.0.0/docs/GH...

    Likewise with conventions around pointers, arrays, etc. to the point where if you want to do anything really low-level or performance sensitive in Haskell, you're essentially punching a hole into C. As a random example, within the fast base64bytestring library, you find lots of use of `malloc`, `ForeignPtr` etc.: https://github.com/haskell/base64-bytestring/blob/master/Dat... And of course because this is C there aren't really many safety guarantees here.

    The plan with Yatima with its primitives, and eventually when we write an FFI is to integrate with Rust in the same way that Haskell uses C. My hope is that with Yatima's affine types we might even be able to FFI to and from safe Rust (since the borrow checker uses affine types), but this is a little bit of a research project to see how much that works. Even to unsafe Rust though, we have better safety guarantees than C, since unsafe Rust's UB is still more restricted than C's is.

  • GitHub repo union

    Extensible type-safe unions for Haskell

  • GitHub repo interpolatedstring-perl6

    QuasiQuoter for Perl6-style multi-line interpolated strings with q, qq and qc support.

  • GitHub repo buffer-builder

    Haskell library for efficiently building up buffers

  • GitHub repo exinst

  • GitHub repo asn1-encoding

    ASN1 Raw/BER/DER/CER reader/writer in haskell

  • GitHub repo irc

    Haskell irc library

  • GitHub repo bimap

    Bidirectional mapping between two key types

  • GitHub repo streams

    Haskell 2010 stream comonads (by ekmett)

  • GitHub repo histogram-fill

    Filling and manupulation with histograms

  • GitHub repo folds

    Folds and sequence algebras

  • GitHub repo monoid-extras

    Miscellaneous constructions on monoids

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-10-02.

Comonads related posts

Index

What are some of the best open-source Comonad projects? This list will help you:

Project Stars
1 Learn-by-doing functional programming course on Scala 565
2 proto-lens 396
3 microlens 261
4 msgpack 128
5 store 101
6 file-embed 76
7 comonad 71
8 semigroupoids 67
9 fclabels 66
10 kan-extensions 64
11 data-category 46
12 base64-bytestring 39
13 union 30
14 interpolatedstring-perl6 24
15 buffer-builder 24
16 exinst 22
17 asn1-encoding 20
18 irc 20
19 bimap 19
20 streams 18
21 histogram-fill 17
22 folds 16
23 monoid-extras 15
Find remote jobs at our new job board 99remotejobs.com. There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com