Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Monad Category Theory Open Source Projects

Open source projects categorized as Monad Category Theory
Categories > Mathematics > Category Theory
Ltupatternfactory ⭐ 958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 8 months ago
Category Theory ⭐ 720
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 3 months ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 4 years ago
Bow ⭐ 643
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9most recent commit 2 years ago
Fluokitten ⭐ 450
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13most recent commit 5 months ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 6 years ago
Scala_typeclassopedia ⭐ 374
Abstractions from Category theory with simple description & implementation, links to further resources.
most recent commit 5 months ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 4 years ago
Bastet ⭐ 212
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 32total releases 22most recent commit a year agonpm bs-abstract} Downloads
Functional Examples ⭐ 179
Examples with Functional JavaScript, following Professor Frisby's course
most recent commit 10 months ago
Haskell_study ⭐ 157
Collections of papers and books about Haskell, Type Theory and Category Theory
most recent commit 3 years ago
Tutorial Cat ⭐ 104
Workshop Pragmatic Introduction to Category Theory
most recent commit 3 years ago
Functional ⭐ 96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
most recent commit 3 years ago
Monadic Mondays ⭐ 60
Code samples for #monadicmonday topics
most recent commit 4 years ago
Bewl ⭐ 55
A DSL for the internal language of a topos
most recent commit 4 months ago
Letsgo ⭐ 45
Examples of the most important features of this languages.
most recent commit a year ago
Kotlinz ⭐ 35
Functional programming in Kotlin
most recent commit 7 years ago
Functional Structures Refactoring Kata ⭐ 28
Starting code and proposed solution for Functional Structures Refactoring Kata
most recent commit 4 years ago
Ikan ⭐ 24
build tool and package manager for idris,in idris,with free monads
most recent commit 5 years ago
Fp Dictionary ⭐ 24
FP category theory jargon explained on a single A4 page
most recent commit 6 years ago
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
total releases 31most recent commit 3 years ago
Cain ⭐ 23
Category theory applied to functional programming (undergraduate project)
most recent commit 5 years ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 5 months ago
The 3 Most Depended On Monad Category Theory Open Source Projects
Bastet ⭐ 212
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 32total releases 22latest release February 27, 2020most recent commit a year agonpm bs-abstract} Downloads
Monadism ⭐ 15
A set of practical monads implemented in TypeScript
dependent packages 2total releases 19latest release June 27, 2019most recent commit 4 years agonpm monadism} Downloads
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
dependent packages 1total releases 10latest release January 06, 2020most recent commit a year agonpm ts-cat} Downloads
The 8 Latest Releases In Monad Category Theory Open Source Projects
Algar ⭐ 7
Algebraic structures, higher-kinded types and other category theory bad ideas
total releases 7latest release March 22, 2023most recent commit a year ago
Bow ⭐ 643
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9latest release April 30, 2020most recent commit 2 years ago
Bastet ⭐ 212
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 32total releases 22latest release February 27, 2020most recent commit a year agonpm bs-abstract} Downloads
Fluokitten ⭐ 450
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13latest release February 10, 2020most recent commit 5 months ago
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
dependent packages 1total releases 10latest release January 06, 2020most recent commit a year agonpm ts-cat} Downloads
Monadism ⭐ 15
A set of practical monads implemented in TypeScript
dependent packages 2total releases 19latest release June 27, 2019most recent commit 4 years agonpm monadism} Downloads
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
total releases 31latest release September 25, 2018most recent commit 3 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.