GitHub topics: monadic-interface
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Language: OCaml - Size: 3.44 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 377 - Forks: 43
d-plaindoux/hpas
Functional ADT And Asynchronous stuff in Java
Language: Java - Size: 373 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 4 - Forks: 0
awto/effectfuljs
JavaScript embedded effects compiler
Language: JavaScript - Size: 15.2 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 341 - Forks: 15
BowenFu/hspp
hspp: An experimental library to bring Haskell Style Programming to C++.
Language: C++ - Size: 438 KB - Last synced at: 22 days ago - Pushed at: almost 3 years ago - Stars: 166 - Forks: 0
fogfish/gurl
ᵍ🆄🆁🅻 is a combinator library for network I/O
Language: Go - Size: 276 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 0
rvarago/absent
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
Language: C++ - Size: 277 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 43 - Forks: 8
antononcube/Raku-DSL-Examples
Raku data package with examples of DSL commands translations to programming code. (Suitable for LLM training.)
Language: Raku - Size: 23.4 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
antononcube/WL-MonadicGeometricNearestNeighbors-paclet
Wolfram Language (aka Mathematica) paclet with a software monad for Geometric Nearest Neighbors (GNN) workflows.
Language: Mathematica - Size: 883 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
on-strum/ruby-on-strum-service
Abstract class for service object scaffolding
Language: Ruby - Size: 53.7 KB - Last synced at: about 23 hours ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
moleike/evidence
Effect Handlers in Scala, Evidently
Language: Scala - Size: 66.4 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
rvarago/kitten
A small C++17 library inspired by Category Theory.
Language: C++ - Size: 131 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 1
fogfish/m_http
A class of Erlang monads which can do http requests
Language: Erlang - Size: 96.7 KB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 8 - Forks: 0
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!
Size: 11.7 KB - Last synced at: 9 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
antononcube/WL-MonadicContextualClassification-paclet
WL software monad for ML classification workflows.
Language: Mathematica - Size: 2.24 MB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
jariazavalverde/ts-pio
A monadic library for I/O actions in TypeScript
Language: TypeScript - Size: 32.2 KB - Last synced at: 27 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
kowainik/unlift
🛗 Typeclass for monads that can be unlifted to arbitrary base monads
Language: Haskell - Size: 11.7 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 0
micwypych/java-vs-haskell
Hasekell for Java programmers tutorial by code samples
Language: Java - Size: 62.5 KB - Last synced at: 8 months ago - Pushed at: about 8 years ago - Stars: 4 - Forks: 0
iconstudio/cpp-utility-monad
This is a C++ module that provides some monadic interfaces for C++.
Language: C++ - Size: 33.2 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
tkareine/MiniFuture 📦
A monadic Future design pattern implementation in Swift
Language: Swift - Size: 106 KB - Last synced at: 22 days ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 0
YannickDot/Taskqlite
A monadic interface for sqlite in Node
Language: JavaScript - Size: 43 KB - Last synced at: 9 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
23ua/funerl
Maybe and Either monads interfaces in Erlang
Language: Erlang - Size: 348 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 0
tlazaro/play-monad
Play Monad
Language: Scala - Size: 52.7 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
YuMuuu/yakan
やかんは壊れた状態で沸かすと多分大変なことになる。Kotlinで様々なモナドインスタンスを定義できるか試す
Language: Kotlin - Size: 56.6 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
onihusube/harmony
C++ Monadologie
Language: C++ - Size: 143 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 26 - Forks: 3
manifoldfinance/gwei-monads
Monadic Ethereum Transaction Pricing Module
Language: JavaScript - Size: 442 KB - Last synced at: about 9 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
maiha/shell.cr Fork of dmytro/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`
Language: Crystal - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
RedGlow/fantasy-rng
A functional (pseudo) random number generator implementing Fantasy Land interfaces.
Language: JavaScript - Size: 257 KB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
vinnyA3/url-shortener-microservice
A url shortener microservice using Node/Express/MongoDB
Language: JavaScript - Size: 1.1 MB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
