lemastero/agda-verified-fp-algos lemastero/agda-verified-fp-algos

  • Stars
    star
    1
  • Language Agda
  • License
    MIT License
  • Created 12 months ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/agda-verified-fp-algos
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

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

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory
Idris
3
star
8

clojure-string-calculator-kata

Clojure
1
star
9

purescript-supermonad

PureScript SuperMonads and SuperApplicatives
PureScript
1
star
10

compile-solve-zoo

Clojure
1
star
11

scala-types-madness

Scala
1
star
12

ten_pin_bowling

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

trifunctors_presentation

Scala
1
star
14

trifunctors

Haskell
1
star