GitHub topics: functor
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Language: OCaml - Size: 11.3 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 86 - Forks: 18
stephband/fn
A library of functional functions
Language: JavaScript - Size: 1.7 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1
louthy/language-ext
C# pure functional programming framework - come and get declarative!
Language: C# - Size: 22.2 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 6,780 - Forks: 433
doubleloop-io/applied-fp-workshop-ts
Applied Functional Programming Workshop, Typescript Edition
Language: TypeScript - Size: 1.63 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 5 - Forks: 4
madnight/awesome-category-theory
A curated list of awesome Category Theory resources.
Size: 602 KB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 115 - Forks: 6
witchcrafters/witchcraft
Monads and other dark magic for Elixir
Language: Elixir - Size: 6.42 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 1,208 - Forks: 62
bow-swift/bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Language: Swift - Size: 726 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 651 - Forks: 33
Asperamanca/monadic_operations_cpp23
Material for my talk "Safe and Readable Code: Monadic Operations in C++23"
Language: C++ - Size: 25 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 6 - Forks: 0
gilzoide/functor2c
Single header templates for wrapping C++ functors as opaque userdata plus function pointers for C interop
Language: C++ - Size: 171 KB - Last synced at: about 13 hours ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
palatable/lambda
Functional patterns for Java
Language: Java - Size: 5.57 MB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 873 - Forks: 85
bert2/Nullable.Extensions
A set of C# extension methods to help working with nullable types by implementing the Maybe monad on top of `T?`.
Language: C# - Size: 87.9 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 2
gigobyte/purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
Language: TypeScript - Size: 36.8 MB - Last synced at: 17 days ago - Pushed at: about 1 month ago - Stars: 1,552 - Forks: 60
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: 1,000 - Forks: 37
HowProgrammingWorks/Functor
Mappable objects
Language: JavaScript - Size: 34.2 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 22 - Forks: 17
jluttine/haskpy
Haskell/Hask inspired classes and functions in Python
Language: Python - Size: 1.04 MB - Last synced at: 20 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 1
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Language: Coq - Size: 3.27 MB - Last synced at: 28 days ago - Pushed at: about 2 months ago - Stars: 767 - Forks: 72
HowProgrammingWorks/Function
Functions as a method to raise level of code abstraction
Language: JavaScript - Size: 138 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 42 - Forks: 192
HowProgrammingWorks/Closure
Function closures and storing data in function scope
Language: JavaScript - Size: 164 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 29 - Forks: 113
hextriclosan/algorithm
Collection of Algorithms
Language: Java - Size: 55.7 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0
llh911001/mostly-adequate-guide-chinese
函数式编程指南中文版
Language: JavaScript - Size: 3.75 MB - Last synced at: 24 days ago - Pushed at: about 2 years ago - Stars: 2,531 - Forks: 335
ehmicky/keep-func-props
Wrap a function without changing its name and other properties
Language: JavaScript - Size: 7.91 MB - Last synced at: about 7 hours ago - Pushed at: about 1 month ago - Stars: 13 - Forks: 1
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 1,371 - Forks: 65
uncomplicate/fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Language: Clojure - Size: 705 KB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 470 - Forks: 35
evilsoft/crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
Language: JavaScript - Size: 10.4 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 1,591 - Forks: 102
fantasyland/static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
Language: JavaScript - Size: 117 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 775 - Forks: 41
baetheus/fun
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
Language: TypeScript - Size: 1.55 MB - Last synced at: 24 days ago - Pushed at: 12 months ago - Stars: 105 - Forks: 7
obsidiansystems/vessel
Functor-parametric containers
Language: Haskell - Size: 158 KB - Last synced at: 30 days ago - Pushed at: 4 months ago - Stars: 19 - Forks: 8
chakravala/DirectSum.jl
Tangent bundle, vector space and Submanifold definition
Language: Julia - Size: 219 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 50 - Forks: 4
orakaro/Swift-monad-Maybe-Reader-and-Try
Proof of concept: Maybe, Reader and Try monad
Language: Swift - Size: 14.6 KB - Last synced at: 30 days ago - Pushed at: about 5 years ago - Stars: 166 - Forks: 6
kaBeech/monads-are-easy
A brief cheatsheet for monads and related concepts
Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
DScheglov/resultage
A clear way for handling success and failure in both synchronous and asynchronous operations.
Language: TypeScript - Size: 191 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0
markandrus/effect-derive
Derive Covariant (Functor) instances and base functors for algebraic data types (ADTs)
Language: TypeScript - Size: 138 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0
binary-banter/functor_derive
Derive functors for your datastructures.
Language: Rust - Size: 153 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 21 - Forks: 2
ritesh404/kudojs
A utility library to write code in functional programming style in Javascript
Language: TypeScript - Size: 2.01 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 23 - Forks: 1
functionalland/functional
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Language: JavaScript - Size: 297 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 111 - Forks: 2
chapiteau-team/rust2fun
A library for functional programming in Rust
Language: Rust - Size: 164 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 28 - Forks: 2
dmitriz/cpsfy
🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
Language: JavaScript - Size: 2.51 MB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 70 - Forks: 2
functionalland/functional-http-server
A simple HTTP server inspired by Express and in tune with Functional Programming principles in JavaScript for Deno.
Language: JavaScript - Size: 31.3 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
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.
Language: Haskell - Size: 480 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 469 - Forks: 14
dmitriz/functional-examples
Examples with Functional JavaScript, following Professor Frisby's course
Language: JavaScript - Size: 135 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 180 - Forks: 22
c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Language: SMT - Size: 15.4 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 24 - Forks: 15
edeckers/pyella
Common applicatives, functors and monads for loads of /fun/ with Python
Language: Python - Size: 261 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 3
jpneto/topicsInPython
Jupyter notebooks about Programming, Statistics and Math
Language: Jupyter Notebook - Size: 3.39 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1
JoelLefkowitz/funky
Functional type classes and instances.
Language: C++ - Size: 111 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
qrailibs/functir
✨ Functional programming library for JavaScript. Fully type-safe.
Language: TypeScript - Size: 105 KB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
slogsdon/elixir-control
An exploratory look into functors, applicatives, and monads for Elixir
Language: Elixir - Size: 31.3 KB - Last synced at: 29 days ago - Pushed at: over 7 years ago - Stars: 22 - Forks: 0
Hacker-Code-J/Category-Theory
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
Language: TeX - Size: 2.62 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
mtumilowicz/java11-category-theory-optional-is-not-functor
Proof that java Optional is not a functor, but vavr is.
Language: Java - Size: 63.5 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1
thefrontside/funcadelic.js
Functional programming and category theory for everyday JavaScript development
Language: JavaScript - Size: 214 KB - Last synced at: 27 days ago - Pushed at: about 6 years ago - Stars: 199 - Forks: 16
chakravala/AbstractTensors.jl
Tensor algebra abstract type interoperability setup
Language: Julia - Size: 106 KB - Last synced at: 29 days ago - Pushed at: 6 months ago - Stars: 43 - Forks: 5
iconstudio/gms2-functors
Functor library for GameMaker
Language: Game Maker Language - Size: 17.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
burz/Feval
evaluation using f-algebras
Language: Haskell - Size: 360 KB - Last synced at: about 1 month ago - Pushed at: over 9 years ago - Stars: 23 - Forks: 3
noyzys/fp-practice
* Basic functional programming concepts
Language: Kotlin - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
Skippia/fp-playground
Explore opportunities of functional programming through the prism of typescript and `fp-ts`
Language: TypeScript - Size: 350 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
gammasoft71/delegates
Modern c ++17 library containing multicast delegate and event classes.
Language: C++ - Size: 890 KB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 0
joangq/edsl
Abordaje Funcional a los lenguajes de dominio específico embebidos - Curso de ECI 2024
Language: Haskell - Size: 3.09 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
UnoSD/ResultMonad
C# implementation of the result and other monads with query syntax support and extensions for Tasks and IEnumerable
Language: C# - Size: 25.4 KB - Last synced at: about 10 hours ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
NiclasDimitriadis/TraversableQueue
Simple queue that provides the user with an interface to query, manipulate and dequeue its content.
Language: C++ - Size: 76.2 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
NiclasDimitriadis/TMP_lib
Template metaprogramming library originally spun off from CppOrderBook project.
Language: C++ - Size: 57.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
doubleloop-io/applied-fp-workshop-kotlin
Applied Functional Programming Workshop, Kotlin Edition
Language: Kotlin - Size: 176 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
doubleloop-io/applied-fp-workshop-scala
Applied Functional Programming Workshop, Scala Edition
Language: Scala - Size: 2.8 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 10 - Forks: 17
mduerig/java-functional
Exploring ways to encode functional concepts like structural pattern matching, type classes and fixed points in Java.
Language: Java - Size: 20.5 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
fp-works/function-composition-cheatsheet
Composition of Functions
Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 24 - Forks: 1
sekwiatkowski/js-fp 📦
A pragmatic functional programming library for JavaScript/TypeScript
Language: TypeScript - Size: 487 KB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
ArcaneMage/javalaboratories-java-extensions
This is a library of utilities to encourage functional programming in Java, particularly for Java-8 developers but not exclusively.
Language: Java - Size: 1.78 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
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: over 5 years ago - Stars: 605 - Forks: 128
Smallibs/feng
A Dart library providing some functional programming idioms.
Language: Dart - Size: 76.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
techmonad/fp-cassandra
A functional Scala application and library on top of Functors, Applicatives and Monads using Cassandra datastax Java Driver.
Language: Scala - Size: 144 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - 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
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
MeowType/MaybeDart
Some / Maybe / Option / Result / Nullable, like Haskel Maybe, Can avoid semantic confusion caused by returning null when returning a value
Language: Dart - Size: 39.1 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
TrainingByPackt/Cpp-Fundamentals
Hit the ground running with C++
Language: C++ - Size: 82 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 23 - Forks: 15
fineconstant/scala-functor
Scala functor example
Language: Scala - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
hermannhueck/composing-functions
From Function1#apply to Kleisli - Different Ways of Function Composition in Scala
Language: Scala - Size: 2.98 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
endofunk/Endofunk-FX
Functional Programming for C# and .NET Core
Language: C# - Size: 2.05 MB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 0
eilvelia/pony-monad 📦
Trying to implement monads in ponylang
Language: Pony - Size: 13.7 KB - Last synced at: 8 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
Ahmed-Adel-Ismail/J-Curry
A Java library that enables applying Functional Programming concepts like currying and partial application for functions, also it supports types like Either, Try, etc... using RxJava 2 interfaces, compatible with Java 7 and above
Language: Java - Size: 302 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 17 - Forks: 1
andy2046/lowdash
lowdash
Language: JavaScript - Size: 85 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
kutyel/fpjs-workshop
⚡️ My workshop to teach FP principles in JavaScript
Language: JavaScript - Size: 297 KB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 3
jeff-wise/do
Pragmatic functional programming in Kotlin.
Language: Kotlin - Size: 87.9 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
mgelde/CPPC
A header-only library to facilitate using C APIs from C++
Language: C++ - Size: 108 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
nebtrx/bartosz-algebras
A play yard for https://www.schoolofhaskell.com/user/bartosz/understanding-algebras
Language: Haskell - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
wahidsadik/java8-functional-playpen
I experiment my Java 8 functional adventures here
Language: Java - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
kandelvijaya/ResultType
Provides minimal Monadic interfaced Result Type in Swift (Haskell equivalent)
Language: Swift - Size: 54.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
kandelvijaya/EitherType
Haskell like Either Type that fully satisfies Functor and Monad laws.
Language: Swift - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
shrynx/reasonz
A Haskell fan fiction for ReasonML
Language: OCaml - Size: 7.81 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2
Y99dr451l/Fractal
Renders fractals using SFML
Language: C++ - Size: 31.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
cheogo/learn-javascript
《前端基础漫游指南》深入的、系统的学习 javascript 基础，喜欢点 Star
Size: 2.82 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 141 - Forks: 17
nilern/monnit
Monads, functors etc. for Clojure(Script)
Language: Clojure - Size: 80.1 KB - Last synced at: 12 days ago - Pushed at: about 4 years ago - Stars: 19 - Forks: 0
ythirion/language-ext-kata
C# functional kata to practice language-ext library
Language: C# - Size: 2.95 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1
glebec/monadic-parser-combinators
Demo of various functional design patterns and techniques via parsers
Language: JavaScript - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0
williamareynolds/ts-cat
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
Language: TypeScript - Size: 729 KB - Last synced at: about 4 hours ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
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
functional-jslib/fjl-data-core 📦
Fjl Data.Maybe and Data.Either implementations in javascript (WIP (work-in-progress)).
Language: JavaScript - Size: 1.6 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
c-cube/funarith 📦
[wip] functorial library with classic algorithms for arithmetic
Language: OCaml - Size: 213 KB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
bodand/InfoUtils
Utilities used by Info projects.
Language: C++ - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
tfg1434/FunctionalSharp
Lightweight functional programming library for C#
Language: C# - Size: 901 KB - Last synced at: 30 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0
joeldentici/monadic-js
Algebraic structure implementations, do-notation, and operators to truly live the fantasy
Language: JavaScript - Size: 181 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
spamegg1/haskell-prog
Working through the book "Get Programming with Haskell" by Will Kurt
Language: Haskell - Size: 2.64 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
barambani/laws 📦
Implementation and property-based verification of functional programming abstractions' laws
Language: Scala - Size: 147 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 3
