Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (-19.1%)
LambdaFunctional patterns for Java
Stars: ✭ 737 (-14.7%)
Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (-34.95%)
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (-2.43%)
BastetA ReasonML/Ocaml library for category theory and abstract algebra
Stars: ✭ 200 (-76.85%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (-59.95%)
Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Stars: ✭ 511 (-40.86%)
elixir-controlAn exploratory look into functors, applicatives, and monads for Elixir
Stars: ✭ 21 (-97.57%)
J-CurryA 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
Stars: ✭ 17 (-98.03%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-79.28%)
FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (-52.78%)
Learn Fplearn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (-36.57%)
LtupatternfactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (-14.93%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (-57.29%)
WhyhaskellmattersIn 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.
Stars: ✭ 418 (-51.62%)
Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (-37.73%)
RingsRings: efficient JVM library for polynomial rings
Stars: ✭ 50 (-94.21%)
MomiMonadic middleware
Stars: ✭ 57 (-93.4%)
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+160.3%)
CrocksA collection of well known Algebraic Data Types for your utter enjoyment.
Stars: ✭ 1,501 (+73.73%)
cpsfy🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested
Stars: ✭ 58 (-93.29%)
Funcadelic.jsFunctional programming and category theory for everyday JavaScript development
Stars: ✭ 183 (-78.82%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (-10.65%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (+358.8%)
NcalcPower calculator for Android. Solve some problem algebra and calculus.
Stars: ✭ 512 (-40.74%)
Uiimageview LettersUIImageView category for using initials as a placeholder image, written in Objective-C. For a Swift implementation, see https://github.com/bachonk/InitialsImageView
Stars: ✭ 694 (-19.68%)
Nerdamera symbolic math expression evaluator for javascript
Stars: ✭ 322 (-62.73%)
JkcategoriesJKCategories(iOS-Categories,Category), a collection of useful Objective-C Categories extending iOS Frameworks such as Foundation,UIKit,CoreData,QuartzCore,CoreLocation,MapKit Etc.
Stars: ✭ 3,292 (+281.02%)
MonioAsync-capable IO monad for JS
Stars: ✭ 311 (-64%)
EffEff monad for cats - https://atnos-org.github.io/eff
Stars: ✭ 479 (-44.56%)
Basic Mathematics For Machine LearningThe motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI
Stars: ✭ 300 (-65.28%)
Grassmann.jl⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
Stars: ✭ 289 (-66.55%)
MatryoshkaGeneralized recursion schemes and traversals for Scala.
Stars: ✭ 764 (-11.57%)
AlgaAlgebraic graphs
Stars: ✭ 619 (-28.36%)
KleinP(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library
Stars: ✭ 463 (-46.41%)
EffectfuljsJavaScript embedded effects compiler
Stars: ✭ 287 (-66.78%)
RationaleRamda inspired library of helper functions for ReasonML
Stars: ✭ 275 (-68.17%)
Dry MonadsUseful, common monads in idiomatic Ruby
Stars: ✭ 453 (-47.57%)
AlgaeBootstrapped algebraic data types for Elixir
Stars: ✭ 272 (-68.52%)
Matherzzllrr mather(an offline tool for Math learning, education and research)小乐数学,离线可用的数学学习(自学或教学)、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版(抛转引玉),但已经支持数学公式编辑显示,部分作图功能,部分学科,如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具
Stars: ✭ 270 (-68.75%)
JxcategoryviewA powerful and easy to use category view (segmentedcontrol, segmentview, pagingview, pagerview, pagecontrol) (腾讯新闻、今日头条、QQ音乐、网易云音乐、京东、爱奇艺、腾讯视频、淘宝、天猫、简书、微博等所有主流APP分类切换滚动视图)
Stars: ✭ 5,561 (+543.63%)
GapMain development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Stars: ✭ 447 (-48.26%)
Cmathtutstrying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...
Stars: ✭ 266 (-69.21%)
AlgebriteComputer Algebra System in Javascript (Coffeescript)
Stars: ✭ 800 (-7.41%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (-69.21%)
AngourimathOpen-source symbolic algebra library for C# and F#. One of the most powerful in .NET
Stars: ✭ 266 (-69.21%)
asynqroFutures and thread pool for C++ (with optional Qt support)
Stars: ✭ 103 (-88.08%)
agdaThe theory of algebraic graphs formalised in Agda
Stars: ✭ 67 (-92.25%)
concurrifyTurn non-concurrent FantasyLand Applicatives concurrent
Stars: ✭ 24 (-97.22%)
TsmonadLittle monad library designed for TypeScript
Stars: ✭ 379 (-56.13%)
klefkiKlefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.
Stars: ✭ 12 (-98.61%)
Kotlin ResultA multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (-57.29%)
Swiftz-ValidationA data structure for validations. It implements the applicative functor interface
Stars: ✭ 15 (-98.26%)
symbolicnimA symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
Stars: ✭ 25 (-97.11%)