louthy/language-ext

C# pure functional programming framework - come and get declarative!

Language: C# - Size: 22.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 6,763 - Forks: 433

aol/cyclops

An advanced, but easy to use, platform for writing functional applications in Java 8.

Language: Java - Size: 26.7 MB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 1,323 - Forks: 137

thma/LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Language: Haskell - Size: 588 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 999 - Forks: 37

fsprojects/FSharpPlus

Extensions for F#

Language: F# - Size: 15.4 MB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 878 - Forks: 99

dehun/learn-fp

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

Language: Scala - Size: 1.19 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 605 - Forks: 128

atnos-org/eff

Eff monad for cats - https://atnos-org.github.io/eff

Language: Scala - Size: 3.64 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 588 - Forks: 79

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 488 - Forks: 49

robotroutine/scriptum

No-Frills Functional Programming Lib Augmenting Javascript/Node.js

Language: JavaScript - Size: 6.87 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 381 - Forks: 20

haskell/mtl

The Monad Transformer Library

Language: Haskell - Size: 266 KB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 378 - Forks: 67

scala-hamsters/hamsters

A mini Scala utility library

Language: Scala - Size: 2.53 MB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 288 - Forks: 23

ThoughtWorksInc/Dsl.scala

A framework to create embedded Domain-Specific Languages in Scala

Language: Scala - Size: 4.31 MB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 254 - Forks: 29

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.34 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 132 - Forks: 4

Bodigrim/logict

A continuation-based backtracking logic programming monad

Language: Haskell - Size: 171 KB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 87 - Forks: 13

affeldt-aist/monae

Monadic effects and equational reasonig in Coq

Language: Coq - Size: 4.94 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 70 - Forks: 13

ISCPIF/freedsl

Practical effect composition library based on abstract wrapping type and the free monad

Language: Scala - Size: 174 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 36 - Forks: 1

ekmett/perhaps

A monad, perhaps.

Language: Haskell - Size: 78.1 KB - Last synced at: 10 days ago - Pushed at: about 5 years ago - Stars: 32 - Forks: 2

ThoughtWorksInc/RAII.scala

Resource Acquisition Is Initialization

Language: Scala - Size: 2.14 MB - Last synced at: 18 days ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 6

EduardSergeev/monad-memo

Memoization monad transformer

Language: Haskell - Size: 1.73 MB - Last synced at: 8 days ago - Pushed at: 12 months ago - Stars: 30 - Forks: 5

evturn/haskellbook

Solutions to exercises from the book Haskell Programming

Language: Haskell - Size: 603 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 8

theiterators/sealed-monad

Scala library for nice business logic oriented, for-comprehension-style error handling

Language: Scala - Size: 1010 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 23 - Forks: 7

Thimoteus/purescript-transformerless

Transformerless monads for Puresript

Language: PureScript - Size: 41 KB - Last synced at: 10 days ago - Pushed at: over 6 years ago - Stars: 22 - Forks: 3

siraben/r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

Language: Haskell - Size: 321 KB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 2

sjoerdvisscher/effects

Control.Effects

Language: Haskell - Size: 29.3 KB - Last synced at: 10 days ago - Pushed at: about 6 years ago - Stars: 19 - Forks: 0

ThoughtWorksInc/tryt.scala

Monad transformers for exception handling

Language: Scala - Size: 264 KB - Last synced at: 18 days ago - Pushed at: 8 months ago - Stars: 17 - Forks: 3

jcouyang/luci

Extensible Free Monad Effects

Language: Scala - Size: 162 KB - Last synced at: 17 days ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 2

brandonchinn178/persistent-mtl

Monad transformers for the persistent library

Language: Haskell - Size: 265 KB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 2

ValdemarGr/catch-effect

MTL, but without the MT

Language: Scala - Size: 58.6 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 1

cando/Algar

Algebraic structures, higher-kinded types and other category theory bad ideas

Language: Rust - Size: 58.6 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0

minad/writer-cps-mtl

Stricter drop in replacements for WriterT and RWST

Language: Haskell - Size: 39.1 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 3

HeinrichApfelmus/optimize-monad-trans

Toy example — How can GHC optimize monad transformers?

Language: Haskell - Size: 229 KB - Last synced at: 13 days ago - Pushed at: over 8 years ago - Stars: 11 - Forks: 2

minad/writer-cps-transformers

Compatibility package for old transformers: Stricter drop in replacements for WriterT and RWST

Language: Haskell - Size: 67.4 KB - Last synced at: 13 days ago - Pushed at: almost 6 years ago - Stars: 10 - Forks: 3

mtumilowicz/scala-cats-functional-dependency-injection-workshop

Introduction into functional dependency injection with Reader monad.

Language: Scala - Size: 79.1 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1

siraben/hasktran

A compiler for FRACTRAN written in Haskell.

Language: Haskell - Size: 16.6 KB - Last synced at: 23 days ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1

athanclark/purescript-monad-control

A clone of monad-control in purescript

Language: PureScript - Size: 31.3 KB - Last synced at: 4 days ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 1

dylanmann/CurriersOfCatan

Settlers of Catan in Haskell with a Web Browser GUI

Language: Haskell - Size: 5.53 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 0

DanilaFe/maypop

Dependently typed programming language implemented in Literate Haskell.

Language: Haskell - Size: 774 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

Lysxia/coq-mtl

Formalized laws for mtl

Language: Coq - Size: 56.6 KB - Last synced at: 17 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

mrkkrp/tagged-identity

Trivial monad transformer that allows identical monad stacks have different types

Language: Haskell - Size: 83 KB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0

mcgizzle/CS4012-Functional-Programming

Haskell monad transformers and some other helpful stuff

Language: Haskell - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 2

jchenche/interpreter

An interpreter for an imperative language I designed

Language: Haskell - Size: 132 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

opeltre/fp

Functional programming in python

Language: Python - Size: 485 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

rucek/monad-transformers

Step-by-step implementation of a monad transformer in Scala

Language: Scala - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

lewismj/functional_scala

Presentations on functional programming in Scala

Size: 1.33 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

kyusu/mahakala

Small command-line program to fetch your state from the NovaTime© time tracking system

Language: JavaScript - Size: 1.17 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 1

yurrriq/ComiCal

Track the publish dates of your favorite comics

Language: Haskell - Size: 223 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 3 - Forks: 1

bookshelfdave/monad-transformers-step-by-step

(unofficial) source for Monad Transformers Step by Step by Martin Grabmüller

Language: Haskell - Size: 18.6 KB - Last synced at: 23 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 3

Zeta611/effect_based_interpreter

🪄 A modular interpreter using effects and effect handlers

Language: OCaml - Size: 4.88 KB - Last synced at: 28 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

siraben/vpl

VPL (Visual Programming Language) is an educational Turtle language using Haskell and Gloss

Language: Haskell - Size: 682 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

gboduljak/mcc

mcc is a toy compiler compiling a (relatively) large subset of C language to LLVM IR.

Language: Haskell - Size: 1.02 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

athanclark/purescript-monad-unlift

Unlift implementation for PureScript

Language: Dhall - Size: 4.88 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

battermann/State-Monad-Example

Sample code for blog post on combined state and either monad

Language: Scala - Size: 7.81 KB - Last synced at: 26 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

essentier/funclift

funclift lifts functions in Python

Language: Python - Size: 107 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

giacomocavalieri/master-thesis

Master thesis in computer science and engineering

Language: TeX - Size: 233 KB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

wkolowski/coq-mtl

An mtl-like library for dealing with effects in Coq

Language: Coq - Size: 4.66 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

typeclasses/monads-tf

Monad classes, using type families

Language: Haskell - Size: 49.8 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 4

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: 6 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

giacomocavalieri/master-thesis-code-examples

Scala code examples for my master thesis

Language: Scala - Size: 53.7 KB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

kindofdev/free-pong-game

A extended example of using Haskell Monad transformer RWST in combination with the Free monad.

Language: Haskell - Size: 46.9 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

neshkeev/avaj

Haskell influenced Category Theory patterns implemented in Java

Language: Java - Size: 135 KB - Last synced at: 29 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

kutyel/hit-counter

Example Web Hit Counter with Scotty and Monad Transformers

Language: Haskell - Size: 4.88 KB - Last synced at: 27 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

ColOfAbRiX/monad-study

Studying monads in Scala

Language: Scala - Size: 82 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

MrVPlusOne/LazyLang

A Haskell-style lazy language in 500 lines of Scala code

Language: Scala - Size: 38.1 KB - Last synced at: 21 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

dcastro/safe-buffer-monad

Language: Haskell - Size: 22.5 KB - Last synced at: 29 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

thumphries/transformers-fix

A monad transformer for computing to a fixed point

Language: Haskell - Size: 11.7 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

kyusu/Penemue

Converts the content of a JavaScript file to a RunKit URL embedded in an iframe

Language: JavaScript - Size: 807 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

teach-afp/www

Public webpage for the course AFP (Advanced Functional Programming)

Language: HTML - Size: 21.5 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 1

hermannhueck/monad-transformers

From Functor Composition to Monad Transformers

Language: Scala - Size: 8.97 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

danidiaz/dep-t-advice

Giving good advice to functions in records-of-functions.

Language: Haskell - Size: 298 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

danebulat/proj-snake

A terminal-based snake game written in Haskell.

Language: Haskell - Size: 221 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ahaxu/monad_transformer_tut

Monad transformer tutorial

Language: Haskell - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Lev135/mappable-transformers

Classes for mapping 'mtl' transformers

Language: Haskell - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

rudynicolop/Coq-Type-Classes

A library of coq type classes and instances.

Language: Coq - Size: 133 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

tlazaro/play-monad

Play Monad

Language: Scala - Size: 52.7 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

MI-AFP/hw06

Homework to practice Foldable, Traversable, State/Parser, Monad Transformers and Combinators, Arrow, and Lens

Language: Haskell - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dabliuw22/mtl-haskell

Language: Haskell - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

lenguyenthanh/Monad-Transformers-Step-by-Step

Source Code for Monad Transformers Step by Step

Language: Haskell - Size: 7.81 KB - Last synced at: 6 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

kalexmills/scala-with-monads

Examples building up Monads from scratch (without Cats.... mostly)

Language: Scala - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 2

leetoo/Dsl.scala Fork of ThoughtWorksInc/Dsl.scala

A framework to create embedded Domain-Specific Languages in Scala

Language: Scala - Size: 1.26 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

kczulko/astar

A* algorithm

Language: Scala - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

mfaerevaag/bowser

Simple framework for testing security mechanisms in JavaScript interpreters

Language: Haskell - Size: 89.8 KB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

weak-head/hffp-book 📦

:hatched_chick: :baby_bottle: Haskell programming from first principles: source code, exercises, related topics and more.

Language: Haskell - Size: 259 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0