Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Functor Category Theory Open Source Projects

Open source projects categorized as Functor Category Theory
Categories > Mathematics > Category Theory
Ltupatternfactory ⭐ 958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 7 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
Scala_typeclassopedia ⭐ 374
Abstractions from Category theory with simple description & implementation, links to further resources.
most recent commit 5 months ago
Agda Categories ⭐ 341
A new Categories library for Agda
most recent commit 3 months ago
Functional Examples ⭐ 179
Examples with Functional JavaScript, following Professor Frisby's course
most recent commit 10 months ago
Neurocat ⭐ 130
From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types
most recent commit 6 years ago
Tutorial Cat ⭐ 104
Workshop Pragmatic Introduction to Category Theory
most recent commit 3 years ago
Functors.jl ⭐ 98
Parameterise all the things
most recent commit 8 months 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
Catscheatsheet ⭐ 47
This project is to contain a listing of common theorems in elementary category theory.
most recent commit 4 years ago
Purescript Ctprelude ⭐ 46
A Prelude with names from category theory
most recent commit 8 years ago
Meow ⭐ 39
Catless Category Theory in Dotty/Scala 3 meow ~
total releases 2most recent commit a year ago
Functional Structures Refactoring Kata ⭐ 28
Starting code and proposed solution for Functional Structures Refactoring Kata
most recent commit 4 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
Feval ⭐ 22
evaluation using f-algebras
total releases 2most recent commit 9 years ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 5 months ago
Haskerwaul ⭐ 16
Category theory concepts in type classes and instances.
most recent commit 2 years ago
Natural Transformation ⭐ 16
A natural transformation package
total releases 5most recent commit 7 months ago
Cat.js ⭐ 15
Category Theory for JavaScript
most recent commit 8 years ago
The 10 Latest Releases In Functor Category Theory Open Source Projects
Meow ⭐ 39
Catless Category Theory in Dotty/Scala 3 meow ~
total releases 2latest release February 19, 2021most 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
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
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
Feval ⭐ 22
evaluation using f-algebras
total releases 2latest release October 09, 2017most recent commit 9 years ago
Acme Cofunctor ⭐ 12
A Cofunctor is a structure from category theory dual to Functor
total releases 2latest release May 13, 2017most recent commit 6 years ago
Natural Transformation ⭐ 16
A natural transformation package
total releases 5latest release November 15, 2016most recent commit 7 months ago
Representable Tries ⭐ 7
representable tries
total releases 37latest release January 26, 2015most recent commit 9 years ago
Representable Functors ⭐ 9
representable functors
total releases 39latest release January 26, 2015most recent commit 10 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.