functors

There are 0 repository under functors topic.

thma / LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Language:Haskell 976
true-myth / true-myth
A library for safer and smarter error- and "nothing"-handling in TypeScript.
typescript typescript-library typescript-definitions functional-programming javascript monads functors applicatives
Language:TypeScript 855
OSlash
dbrattli / OSlash
Functors, Applicatives, And Monads in Python
oslash monads python functors monad-tutorial
Language:Python 700
nobrainr / morphism
⚡ Type-safe data transformer for JavaScript, TypeScript & Node.js.
data functional parser typescript object array flow mapper automapper morphism fp js javascript functors morphisms
Language:TypeScript 483
TylorS / typed
Web Applications with Effect-TS
applicative architecture async cancelation fp-ts functional-programming functors modular monad state-management streams typescript
Language:TypeScript 195
mcsoto / cosmos
A new logic programming language.
interpreter prolog cosmos language functors logic-programming composite-types cosmos-language
Language:C++ 177
aztek / scala-workflow
Boilerplate-free syntax for computations with effects
applicative-functors functional-programming functors monads scala scala-macros
Language:Scala 175
FluxML / Functors.jl
Parameterise all the things
julia functors category-theory machine-learning functional-programming
Language:Julia 111
alhassy / CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
category-theory cheatsheet reference pdf html functors gluing-morphisms
70
kowainik / validation-selective
💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
haskell validation applicative selective haskell-libraries functors
Language:Haskell 65
konad
lucapiccinelli / konad
Monads composition API that just works. For OOP developers
nullables monads kotlin-monads functors applicative-functors kotlin arrow composition
Language:Kotlin 64
bingo-functional
ace411 / bingo-functional
A simple functional programming library for PHP
php php7 php-library functional-programming functional-php functional bingo-framework either-monad maybe-monad functors helpers fp immutability io-monad state-monad reader-monad writer-monad monads immutable
Language:PHP 63
madnight / awesome-category-theory
A curated list of awesome Category Theory resources.
applicative awesome-list category-theory category-theory-for-programmers functors monads natural-transformations applied-category-theory category monoids functor abstract-algebra type-theory mathematics
50
polytypic / rea-ml
Effectful OCaml with Objects and Variants
hobby-project asynchronous effects applicatives functors monads checked-exceptions ocaml higher-kinded-types tagless-final
Language:OCaml 28
alhassy / HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
haskell cheatsheet typeclasses functional-programming functors applicatives monads
27
dbagia / declarative-form-generator
A simple react form generator using functional programming concepts
reactjs functional-programming crocks monads functors io-monad
Language:JavaScript 17
rvarago / kitten
A small C++17 library inspired by Category Theory.
cpp modern-cpp functional-programming declarative-programming category-theory functors monads monadic-interface
Language:C++ 16
hcerim / Funk
Functional programming library for C#
csharp functional-programming monads pattern-matching immutability maybe-monad disjoint-unions records extensions higher-order-functions functors exception-handling exceptional-monad fluent-api asynchronous funk partial-application currying applicatives validation
Language:C# 11
bingo-functional-js
ace411 / bingo-functional-js
A JavaScript port of the bingo-functional library.
bingo-functional-js javascript javascript-library functional-programming functional-javascript monads functors javascript-functions helper-functions functional-js es6
Language:JavaScript 8
TheArtur128 / Act
Library for metaprogramming
library annotations error-handling immutability metaprogramming utils utils-library pseudo-operators functional-programming algebraic-data-types contextualization currying duck-typing endofunctors functors lambda-functions monads object-proxying pipeline structural-oop
Language:Python 8
jarredbarber / Cat.jl
Julia package for building composable DSLs with multiple interpretations.
julia dsl category-theory cartesian-closed-category metaprogramming compiler composable-arrows functors interpretations composable-dsls
Language:Julia 7
konrad1977 / FunNetworking
Functional style networking.
functional functional-programming functors ios macos monads networking swift wrapped-functors
Language:Swift 7
r0ller / alice
A Language Interpreter as semantiC Experiment in natural language processing
nlp human-interface jni-android-library c-plus-plus-library javascript-library classification tagging functors morphological-analysis syntactic-analysis semantic-analysis hilib bison text-to-code
Language:C++ 7
dk14 / old-school-f
functors, monads and DSLs WITHOUT implicits; NO type-classes; NO F[_] syntax;
functors scala
Language:Scala 5
opeltre / fp
Emulating type theory in python
fp functors monads types monad-transformers
Language:Python 4
bingo347 / lambda-fn
Typescript utilities for functional programming inspired by Rust std library
fp monads functors result option cell
Language:TypeScript 3
danielkreck / Analysis-of-PureScripts-Compilation-Process
Understanding concepts of functional languages (ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. The paper was written in German during a semester university project. Maybe it helps anyone on his road to functional programming as well.
analysis functional-languages purescript javascript algebraic-data-types type-classes recursion higher-order-functions functors applicative-functors monads side-effects
Language:TeX 3
deepcloudlabs / dcl113-2023-aug-24
DCL-113: Functional Programming in C++20
cpp17 cpp20 functional-programming functors higher-order-functions lambda-expressions lazy-evaluation partial-functions pure-functions ranges ranges-v3 stl-containers
Language:C++ 3
homalg-project / FunctorCategories
[READ-ONLY-SUBSPLIT] Categories of functors
functors functor-category finitely-presented-category linear-category quiver-representations
Language:GAP 3
mtumilowicz / java11-category-theory-reader-functor
Simple implementation of Reader Functor.
category-theory reader reader-functor functors
Language:Java 3
Risto-Stevcev / idris-functors
Bifunctors and functor products, coproducts, and composition
idris functors bifunctor bifunctors functor coproduct functor-products composition
Language:Idris 3
digitake / bs-rest-api
Functors to build REST API Broker
bucklescript functors reasonml rest-api higher-order
Language:OCaml 2
Isaac-DeFrain / Todo
Todo list application built to explore different features of the OCaml language
functional-programming functors modules ocaml
Language:OCaml 2
natserract / lamblichus
Functors macros in Elixir inspired from haskell, and purescript
elixir functors haskell macro metaprogramming
Language:Elixir 2
ortense / functors
A collection of dependency-free functors written in TypeScript, created to be type-safe, immutable, and lightweight.
either either-monad fp functional functional-programming functors history-management lazy lazy-evaluation maybe maybe-monad monad monads state state-pattern type-safe typescript typescript-library
Language:TypeScript 2
mercator
propensive / mercator
Autogeneration of functor and monad instances for Scala types
functors monads scala
Language:Scala 2