Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 Definition Monad Open Source Projects

Open source projects categorized as Definition Monad
Categories > Definition
Sweet Monads ⭐ 288
The library which provides useful monads, interfaces, and lazy iterators.
dependent packages 34total releases 33most recent commit 4 months agonpm @sweet-monads/either} Downloads
Interactiontrees ⭐ 180
A Library for Representing Recursive and Impure Programs in Coq
most recent commit 6 months ago
Comonad ⭐ 77
Haskell 98 comonads
total releases 53most recent commit 7 months ago
Real World Idris ⭐ 25
Malfunction backend for Idris with a FFI to OCaml
most recent commit 5 years ago
Largecatmodules ⭐ 11
Large category of modules over monads on top of UniMaths and Display category
most recent commit 9 months ago
Lensstateisyourfather ⭐ 10
Lens, State is your father... and I can prove It!
most recent commit 6 years ago
Eff Javascript ⭐ 9
An extensible effect monad
dependent packages 4total releases 6most recent commit 4 years agonpm eff} Downloads
Elm Data ⭐ 9
A library for powerful abstractions in elm with the elegance of a brick.
most recent commit 7 years ago
Javascript Monads ⭐ 8
most recent commit 7 years ago
Polymonad Proofs ⭐ 7
Agda proofs about polymonads
most recent commit 6 years ago
Psfmddlc ⭐ 7
PureScript Free Monad DSL Definition Language Compiler
most recent commit 7 years ago
Wayland Wire ⭐ 5
A Haskell implementation of the Wayland wire protocol
most recent commit 8 years ago
Scalaio 2017 Esmonad ⭐ 5
Composable Event Sourcing with Monads
most recent commit 6 years ago
Partiality Monad ⭐ 5
most recent commit a year ago
The 2 Most Depended On Definition Monad Open Source Projects
Sweet Monads ⭐ 288
The library which provides useful monads, interfaces, and lazy iterators.
dependent packages 34total releases 33latest release August 29, 2023most recent commit 4 months agonpm @sweet-monads/either} Downloads
Eff Javascript ⭐ 9
An extensible effect monad
dependent packages 4total releases 6latest release July 26, 2019most recent commit 4 years agonpm eff} Downloads
The 3 Latest Releases In Definition Monad Open Source Projects
Sweet Monads ⭐ 288
The library which provides useful monads, interfaces, and lazy iterators.
dependent packages 34total releases 33latest release August 29, 2023most recent commit 4 months agonpm @sweet-monads/either} Downloads
Eff Javascript ⭐ 9
An extensible effect monad
dependent packages 4total releases 6latest release July 26, 2019most recent commit 4 years agonpm eff} Downloads
Comonad ⭐ 77
Haskell 98 comonads
total releases 53latest release July 01, 2018most recent commit 7 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.