monadic-interface
There are 27 repositories under monadic-interface topic.
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
awto/effectfuljs
JavaScript embedded effects compiler
BowenFu/hspp
hspp: An experimental library to bring Haskell Style Programming to C++.
rvarago/absent
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
onihusube/harmony
C++ Monadologie
kowainik/unlift
🛗 Typeclass for monads that can be unlifted to arbitrary base monads
rvarago/kitten
A small C++17 library inspired by Category Theory.
tkareine/MiniFuture
A monadic Future design pattern implementation in Swift
fogfish/m_http
A class of Erlang monads which can do http requests
fogfish/gurl
ᵍ🆄🆁🅻 is a combinator library for network I/O
d-plaindoux/hpas
Functional ADT And Asynchronous stuff in Java
maiha/shell.cr
Provisional fork until the original restarts: https://github.com/dmytro/shell.cr - CHANGES: support crystal-0.25, added `Shell::Seq` - (breaking-change): respect `Process` attributes like `chdir`, type of `status`
micwypych/java-vs-haskell
Hasekell for Java programmers tutorial by code samples
23ua/funerl
Maybe and Either monads interfaces in Erlang
ELKADUSUNhalifesi/unnamedWebProgrammingLanguage
If Most Sacred gives permission His Servant I will make an event based asynchronous **_monadic_** purely functional paradigm web programming language for controlling **_side effect orders/hustles_** of asynchronous event based/driven web page and application needs!
iconstudio/cpp-utility-monad
This is a C++ module that provides some monadic interfaces for C++.
jariazavalverde/ts-pio
A monadic library for I/O actions in TypeScript
moleike/evidence
Effect Handlers in Scala, Evidently
vinnyA3/url-shortener-microservice
A url shortener microservice using Node/Express/MongoDB
YannickDot/Taskqlite
A monadic interface for sqlite in Node
YuMuuu/yakan
やかんは壊れた状態で沸かすと多分大変なことになる。Kotlinで様々なモナドインスタンスを定義できるか試す
tlazaro/play-monad
Play Monad
antononcube/WL-MonadicContextualClassification-paclet
WL software monad for ML classification workflows.
antononcube/WL-MonadicGeometricNearestNeighbors-paclet
Wolfram Language (aka Mathematica) paclet with a software monad for Geometric Nearest Neighbors (GNN) workflows.
greywombat/encrypted
A Scala data type for encrypted data
manifoldfinance/gwei-monads
Monadic Ethereum Transaction Pricing Module
RedGlow/fantasy-rng
A functional (pseudo) random number generator implementing Fantasy Land interfaces.