Awesome Open Source

Programming Languages

Search results for definition monad

9 search results found

Sweet Monads ⭐ 288

The library which provides useful monads, interfaces, and lazy iterators.

Interactiontrees ⭐ 180

A Library for Representing Recursive and Impure Programs in Coq

Haskell 98 comonads

Real World Idris ⭐ 25

Malfunction backend for Idris with a FFI to OCaml

Largecatmodules ⭐ 11

Large category of modules over monads on top of UniMaths and Display category

Lensstateisyourfather ⭐ 10

Lens, State is your father... and I can prove It!

Eff Javascript ⭐ 9

An extensible effect monad

A library for powerful abstractions in elm with the elegance of a brick.

Javascript Monads ⭐ 8

Polymonad Proofs ⭐ 7

Agda proofs about polymonads

PureScript Free Monad DSL Definition Language Compiler

Wayland Wire ⭐ 5

A Haskell implementation of the Wayland wire protocol

Scalaio 2017 Esmonad ⭐ 5

Composable Event Sourcing with Monads

Partiality Monad ⭐ 5

Related Searches

Javascript Definition (1,592)

Python Definition (981)

Typescript Definition (912)

Haskell Monad (681)

Scala Monad (287)

Functional Programming Monad (270)

Javascript Monad (241)

Types Monad (205)

Monad Functor (173)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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