functor

There are 7 repositories under functor topic.

language-ext
louthy / language-ext
C# functional language extensions - a base class library for functional programming
c-sharp functional-languages monads monad-transformers immutable-collections higher-kinded-types language-ext f-sharp immutable-types monad bcl ad-hoc-polymorphism functional-programming lenses records structural-equality functor applicative semigroup monoid
Language:C# 6280
llh911001 / mostly-adequate-guide-chinese
函数式编程指南中文版
functional-programming functional-js functor curry monad
Language:JavaScript 2489
evilsoft / crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
adt predicate-functions lift unary-functions functor composition curry monoid monad pair
Language:JavaScript 1585
gigobyte / purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
typescript algebraic-data-types maybe monad functor fantasy-land functional-programming either result-type option-type codec decode
Language:TypeScript 1498
JasonShin / fp-core.rs
A library for functional programming in Rust
functional-programming rust monad functor applicative category-theory lambda-calculus monoid hkt homomorphism morphism comonad
Language:Rust 1322
witchcrafters / witchcraft
Monads and other dark magic for Elixir
elixir type-class functor monad category applicative traversable operators algebraic-data-types algebra
Language:Elixir 1186
thma / LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
functional-languages factory-pattern strategy-pattern builder-pattern function-composition iterator-pattern monad haskell design-patterns gof-patterns category-theory typeclasses typeclassopedia pattern-language traversable functors monoids functor reader-monad monad-transformers
Language:Haskell 980
palatable / lambda
Functional patterns for Java
java functional-programming lenses lambda functor monad semigroup monoid coproduct profunctors bifunctors either traversable try-monad algebraic-data-types tuples hlist maybe-monad optics io-monad
Language:Java 858
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
functional-programming fantasy-land specification monad functor monoid adt algebraic algebraic-data-types algebra static-land
Language:JavaScript 771
jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
category-theory coq monad profunctor comonads monoid profunctor-composition construction category categories functor cartesian cartesian-closed-category
Language:Coq 740
bow
bow-swift / bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
functional-programming category-theory functor monad swift-library free-monad tagless-final mtl cocoapods carthage swift bow effects composition fp spm declarative-programming reactive-programming hacktoberfest
Language:Swift 643
dehun / learn-fp
learn-by-doing course/tutorial for functional programming on scala
scala course functional-programming monad monoid functor typeclasses functional-idioms monad-transformers tutorial comonads monads applicative
Language:Scala 610
thma / WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
haskell anonymous-functions function-composition functional-programming first-class-functions higher-order-functions partial-application pattern-matching algebraic-data-types polymorphic-types declarative-programming mapping folding lazy-evaluation list-comprehension type-classes functor foldable explicit-side-effects monads
Language:Haskell 465
uncomplicate / fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
clojure category-theory clojure-library monad monoid functor
Language:Clojure 464
thefrontside / funcadelic.js
Functional programming and category theory for everyday JavaScript development
functional-programming functional-js functor monoid semigroup typeclass monad
Language:JavaScript 198
dmitriz / functional-examples
Examples with Functional JavaScript, following Professor Frisby's course
functional-programming functional-js functor monad category-theory
Language:JavaScript 179
orakaro / Swift-monad-Maybe-Reader-and-Try
Proof of concept: Maybe, Reader and Try monad
functor monads reader-monad swift
Language:Swift 164
cheogo / learn-javascript
《前端基础漫游指南》深入的、系统的学习 javascript 基础，喜欢点 Star
javascript ast v8 jit eventloop gc prototype functor curry
142
functional
functionalland / functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
deno functional functional-programming denoland functor monoid catamorphism fold maybe either maybe-monad either-monad browser io-monad algebraic-data-types task task-monad category-theory
Language:JavaScript 110
baetheus / fun
A collection of algebraic data types, optics, and data structures based on a light weight higher kinded type implementation. Written for deno.
monad typescript deno algebraic-data-types higher-kinded-types functor option either task effects functional-programming
Language:TypeScript 99
Gbury / dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
atp flexible-parsers functor language model ocaml ocaml-library parse smt-lib theorem-proving tptp typechecker
Language:OCaml 76
dmitriz / cpsfy
🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
continuation stream control-flow functional-programming asynchronous variadic composition monad functor applicative point-free curried-functions callback callback-manager asynchronous-programming asynchronous-tasks reducer continuation-passing-style continuation-tasks continuation-passing
Language:JavaScript 69
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
60
chakravala / DirectSum.jl
Tangent bundle, vector space and Submanifold definition
type-system abstract-algebra linear-algebra category-theory manifold manifolds tensor-algebra math tensors compositionality functor applied-category-theory
Language:Julia 50
chakravala / AbstractTensors.jl
Tensor algebra abstract type interoperability setup
tensor-algebra type-system tensor linear-algebra category-theory math manifold manifolds compositionality applied-category-theory functor
Language:Julia 44
HowProgrammingWorks / Function
Functions as a method to raise level of code abstraction
abstraction closure code engineering example function functional-programming functor iife kiev kpi learning programming study university
Language:JavaScript 41
aballano / FAM-Playground
Kotlin Functors, Applicatives, And Monads in Pictures
applicative functional-programming functor kotlin monad
Language:Kotlin 34
matteobaglini / functional-structures-refactoring-kata
Starting code and proposed solution for Functional Structures Refactoring Kata
functional-programming kata deliberate-practice category-theory composition refactor functional functor applicative monad
Language:C# 32
mcfilib / ribimaybe
Maybe Functor, Applicative and Monad
applicative functor monad ruby
Language:Ruby 30
rust2fun
chapiteau-team / rust2fun
A library for functional programming in Rust
applicative functional-programming functor monad combinator monoid rust validated non-empty-collections no-std
Language:Rust 28
evturn / haskellbook
Solutions to exercises from the book Haskell Programming
haskell-programming haskellbook haskell functor applicative monad parser-combinators monad-transformers algebraic-data-types abstract-data-types newtype solutions monoid semigroup product-type sum-types foldable traversable haskell-book
Language:Haskell 26
HowProgrammingWorks / Closure
Function closures and storing data in function scope
closure function function-closures functional-programming functor javascript js node nodejs programming
Language:JavaScript 26
c-cube / sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
sat-solver smt-solver functor formal-methods prover cdcl-t congruence-closure
Language:SMT 24
fp-works / function-composition-cheatsheet
Composition of Functions
composition cheatsheet kleisli-arrows functor monad haskell fp
24
slogsdon / elixir-control
An exploratory look into functors, applicatives, and monads for Elixir
elixir functor monad applicative
Language:Elixir 24
TrainingByPackt / Cpp-Fundamentals
Hit the ground running with C++
array best-practices class cpp17 encapsulation functor inheritance
Language:C++ 23