lemastero/Idris-Applied-Category-Theory lemastero/Idris-Applied-Category-Theory

  • Stars
    star
    3
  • Rank 3,848,015 (Top 78 %)
  • Language Idris
  • Created about 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/Idris-Applied-Category-Theory
github

lemastero

Reviews

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

Repository Details

Implementation of concepts from Applied 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

Triglav

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

agda-hott

Notes on Homotopy Type Theory in Agda
Agda
3
star
6

contravariant_profunctor_exercises

Scala
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