lemastero/Triglav lemastero/Triglav

  • Stars
    star
    5
  • Rank 2,771,202 (Top 57 %)
  • Language
    Scala
  • License
    Apache License 2.0
  • Created almost 4 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/Triglav
github

lemastero

Reviews

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

Repository Details

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

More Repositories

1

scala_typeclassopedia

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

applied-category-theory-reading-club

Scala
7
star
3

concurrency_parallelism_effects

concurrency parallelism effects wiki
7
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