ThoughtWorksInc/Dsl.scala

A framework to create embedded Domain-Specific Languages in Scala

Language: Scala - Size: 4.29 MB - Last synced: about 19 hours ago - Pushed: 5 days ago - Stars: 255 - Forks: 29

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.39 MB - Last synced: about 23 hours ago - Pushed: 1 day ago - Stars: 106 - Forks: 4

louthy/language-ext

C# functional language extensions - a base class library for functional programming

Language: C# - Size: 20.6 MB - Last synced: about 17 hours ago - Pushed: about 17 hours ago - Stars: 6,198 - Forks: 411

opeltre/fp

Functional programming in python

Language: Python - Size: 315 KB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 4 - Forks: 0

aol/cyclops

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

Language: Java - Size: 26.7 MB - Last synced: about 20 hours ago - Pushed: about 1 year ago - Stars: 1,302 - Forks: 137

atnos-org/eff

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

Language: Scala - Size: 3.54 MB - Last synced: 5 days ago - Pushed: 10 days ago - Stars: 569 - Forks: 78

kyusu/mahakala

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

Language: JavaScript - Size: 1.34 MB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 2 - Forks: 1

kyusu/Penemue

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

Language: JavaScript - Size: 899 KB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 0 - Forks: 0

ThoughtWorksInc/tryt.scala

Monad transformers for exception handling

Language: Scala - Size: 264 KB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 17 - Forks: 3

fsprojects/FSharpPlus

Extensions for F#

Language: F# - Size: 14.4 MB - Last synced: about 20 hours ago - Pushed: 4 days ago - Stars: 825 - Forks: 100

kongware/scriptum

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Language: JavaScript - Size: 4.97 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 381 - Forks: 21

yurrriq/ComiCal

Track the publish dates of your favorite comics

Language: Haskell - Size: 202 KB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 3 - Forks: 1

jchenche/interpreter

An interpreter for an imperative language I designed

Language: Haskell - Size: 132 KB - Last synced: 23 days ago - Pushed: about 2 years ago - Stars: 5 - 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: 23 days ago - Pushed: over 2 years ago - Stars: 2 - Forks: 2

dehun/learn-fp

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

Language: Scala - Size: 1.19 MB - Last synced: 24 days ago - Pushed: over 4 years ago - Stars: 605 - Forks: 128

cando/Algar

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

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

affeldt-aist/monae

Monadic effects and equational reasonig in Coq

Language: Coq - Size: 2.57 MB - Last synced: 13 days ago - Pushed: 18 days ago - Stars: 67 - Forks: 10

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: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Bodigrim/logict

A continuation-based backtracking logic programming monad

Language: Haskell - Size: 172 KB - Last synced: 20 days ago - Pushed: 8 months ago - Stars: 77 - Forks: 13

haskell/mtl

The Monad Transformer Library

Language: Haskell - Size: 266 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 353 - Forks: 64

essentier/funclift

funclift lifts functions in Python

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

ThoughtWorksInc/RAII.scala

Resource Acquisition Is Initialization

Language: Scala - Size: 2.14 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 30 - Forks: 6

ISCPIF/freedsl

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

Language: Scala - Size: 174 KB - Last synced: 14 days ago - Pushed: over 5 years ago - Stars: 36 - Forks: 1

scala-hamsters/hamsters

A mini Scala utility library

Language: Scala - Size: 2.53 MB - Last synced: 14 days ago - Pushed: over 3 years ago - Stars: 289 - Forks: 23

theiterators/sealed-monad

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

Language: Scala - Size: 839 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 22 - Forks: 6

ValdemarGr/catch-effect

MTL, but without the MT

Language: Scala - Size: 95.7 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 5 - Forks: 0

thma/LtuPatternFactory

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

Language: Haskell - Size: 588 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 973 - Forks: 39

evturn/haskellbook

Solutions to exercises from the book Haskell Programming

Language: Haskell - Size: 603 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 26 - Forks: 8

teach-afp/www

Public webpage for the course AFP (Advanced Functional Programming)

Language: HTML - Size: 20.1 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 1

Zeta611/effect_based_interpreter

A modular interpreter using effects and effect handlers

Language: OCaml - Size: 4.88 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 483 - Forks: 51

TANRIninResulu/unnamedWebProgrammingLanguage

If Supreme Rahman 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: 5 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

DanilaFe/maypop

Dependently typed programming language implemented in Literate Haskell.

Language: Haskell - Size: 774 KB - Last synced: 8 months ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

ColOfAbRiX/monad-study

Studying monads in Scala

Language: Scala - Size: 82 KB - Last synced: 9 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

dylanmann/CurriersOfCatan

Settlers of Catan in Haskell with a Web Browser GUI

Language: Haskell - Size: 5.53 MB - Last synced: 9 months ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 0

EduardSergeev/monad-memo

Memoization monad transformer

Language: Haskell - Size: 1.73 MB - Last synced: 14 days ago - Pushed: about 2 months ago - Stars: 29 - Forks: 5

typeclasses/monads-tf

Monad classes, using type families

Language: Haskell - Size: 49.8 KB - Last synced: 20 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 3

hermannhueck/monad-transformers

From Functor Composition to Monad Transformers

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

siraben/hasktran

A compiler for FRACTRAN written in Haskell.

Language: Haskell - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 5 - Forks: 0

giacomocavalieri/master-thesis

Master thesis in computer science and engineering

Language: TeX - Size: 225 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

giacomocavalieri/master-thesis-code-examples

Scala code examples for my master thesis

Language: Scala - Size: 53.7 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

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: about 1 year ago - Pushed: over 1 year ago - Stars: 19 - Forks: 1

ekmett/perhaps

A monad, perhaps.

Language: Haskell - Size: 78.1 KB - Last synced: 8 days ago - Pushed: over 4 years ago - Stars: 33 - Forks: 2

wkolowski/coq-mtl

An mtl-like library for dealing with effects in Coq

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

siraben/vpl

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

Language: Haskell - Size: 682 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 2

jcouyang/luci

Extensible Free Monad Effects

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

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

Introduction into functional dependency injection with Reader monad.

Language: Scala - Size: 79.1 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 3 - Forks: 1

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: 7 months ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

brandonchinn178/persistent-mtl

Monad transformers for the persistent library

Language: Haskell - Size: 244 KB - Last synced: 7 days ago - Pushed: 3 months ago - Stars: 12 - Forks: 2

danebulat/proj-snake

A terminal-based snake game written in Haskell.

Language: Haskell - Size: 221 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Lev135/mappable-transformers

Classes for mapping 'mtl' transformers

Language: Haskell - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Lysxia/coq-mtl

Formalized laws for mtl

Language: Coq - Size: 56.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 6 - Forks: 0

rudynicolop/Coq-Type-Classes

A library of coq type classes and instances.

Language: Coq - Size: 133 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Thimoteus/purescript-transformerless

Transformerless monads for Puresript

Language: PureScript - Size: 41 KB - Last synced: 7 days ago - Pushed: over 5 years ago - Stars: 22 - Forks: 3

ahaxu/monad_transformer_tut

Monad transformer tutorial

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

tlazaro/play-monad

Play Monad

Language: Scala - Size: 52.7 KB - Last synced: 11 months ago - Pushed: about 2 years ago - Stars: 0 - 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: 11 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

danidiaz/dep-t-advice

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

Language: Haskell - Size: 298 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mrkkrp/tagged-identity

Trivial monad transformer that allows identical monad stacks have different types

Language: Haskell - Size: 79.1 KB - Last synced: 8 days ago - Pushed: about 2 months ago - Stars: 6 - Forks: 0

sjoerdvisscher/effects

Control.Effects

Language: Haskell - Size: 29.3 KB - Last synced: 16 days ago - Pushed: about 5 years ago - Stars: 19 - Forks: 0

athanclark/purescript-monad-unlift

Unlift implementation for PureScript

Language: Dhall - Size: 4.88 KB - Last synced: 7 days ago - Pushed: about 4 years ago - Stars: 3 - 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: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

athanclark/purescript-monad-control

A clone of monad-control in purescript

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

dabliuw22/mtl-haskell

Language: Haskell - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

neshkeev/avaj

Haskell influenced Category Theory patterns implemented in Java

Language: Java - Size: 135 KB - Last synced: 11 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

dcastro/safe-buffer-monad

Language: Haskell - Size: 22.5 KB - Last synced: 23 days ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

rucek/monad-transformers

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

Language: Scala - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 4 - Forks: 0

lenguyenthanh/Monad-Transformers-Step-by-Step

Source Code for Monad Transformers Step by Step

Language: Haskell - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

kutyel/hit-counter

Example Web Hit Counter with Scotty and Monad Transformers

Language: Haskell - Size: 4.88 KB - Last synced: 15 days ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

HeinrichApfelmus/optimize-monad-trans

Toy example — How can GHC optimize monad transformers?

Language: Haskell - Size: 229 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 11 - Forks: 2

thumphries/transformers-fix

A monad transformer for computing to a fixed point

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

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: 15 days ago - Pushed: about 5 years ago - Stars: 10 - Forks: 3

minad/writer-cps-mtl

Stricter drop in replacements for WriterT and RWST

Language: Haskell - Size: 39.1 KB - Last synced: 15 days ago - Pushed: about 1 year ago - Stars: 11 - Forks: 3

kalexmills/scala-with-monads

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

Language: Scala - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 2

MrVPlusOne/LazyLang

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

Language: Scala - Size: 38.1 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

lewismj/functional-scala

Presentations on functional programming in Scala

Size: 1.33 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 4 - 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: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 1

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: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

mcgizzle/CS4012-Functional-Programming

Haskell monad transformers and some other helpful stuff

Language: Haskell - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 6 - Forks: 2

kczulko/astar

A* algorithm

Language: Scala - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: almost 6 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: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0