lemastero/applied-category-theory-reading-club lemastero/applied-category-theory-reading-club

  • Stars
    star
    7
  • Rank 2,220,453 (Top 46 %)
  • Language
    Scala
  • Created about 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/applied-category-theory-reading-club
github

lemastero

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.
Scala
367
star
2

concurrency_parallelism_effects

concurrency parallelism effects wiki
7
star
3

Triglav

Profunctor optics in Scala, arrows, modular approach to abstractions in category theory
Scala
5
star
4

agda-hott

Notes on Homotopy Type Theory in Agda
Agda
3
star
5

contravariant_profunctor_exercises

Scala
3
star
6

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory
Idris
3
star
7

clojure-string-calculator-kata

Clojure
1
star
8

purescript-supermonad

PureScript SuperMonads and SuperApplicatives
PureScript
1
star
9

compile-solve-zoo

Clojure
1
star
10

scala-types-madness

Scala
1
star
11

ten_pin_bowling

Robert Martin, Clean Code video, implement bowling game score, in Scala, using TDD approach
Scala
1
star
12

agda-verified-fp-algos

Agda
1
star
13

trifunctors_presentation

Scala
1
star
14

trifunctors

Haskell
1
star