typeclasses

Here are 98 public repositories matching this topic...

arrow-kt / arrow

Λrrow - Functional companion to Kotlin's Standard Library

kotlin monads functional-programming arrow coroutines kotlin-library optics kotlin-dsl polymorphism typeclasses functional-data-structure continuations for-comprehension typed-lambda-calculus fp-types delimited-continuations kotlin-libraries

Updated Oct 3, 2022
Kotlin

typelevel / cats-effect

Star

The pure asynchronous runtime for Scala

scala asynchronous effects fp typeclasses

Updated Oct 3, 2022
Scala

thma / LtuPatternFactory

Star

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Updated Mar 26, 2022
Haskell

softwaremill / magnolia

Star

Easy, fast, transparent generic derivation of typeclass instances

scala generic-programming typeclass generic-derivation typeclasses datatypes typeclass-derivation derives-typeclasses implicit-search magnolia-derivation

Updated Oct 4, 2022
Scala

dehun / learn-fp

Star

learn-by-doing course/tutorial for functional programming on scala

comonads monads tutorial scala course functional-programming monad functor monoid typeclasses monad-transformers applicative functional-idioms

Updated Feb 7, 2020
Scala

dry-python / classes

Sponsor

Star

Smart, pythonic, ad-hoc, typed polymorphism for Python

python fp python3 typeclasses mypy typesafety pep561 mypy-stubs mypy-plugins

Updated Oct 3, 2022
Python

mmenestret / fp-resources

Star

Functional programming great resources

scala algebra functional-programming monad category-theory recursion-schemes monoid typeclass typeclasses monad-transformers free-monads

Updated Apr 17, 2020

tofu-tf / tofu

Star

Functional programming toolbox

config functional-programming logging effects concurrent optics typeclasses hacktoberfest reader-monad tagless-final

Updated Sep 28, 2022
Scala

gvolpe / pfps-shopping-cart

Star

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

cats functional-programming http4s fs2 fp typeclasses refined tagless-final finally-tagless tagless skunk cats-effect typeclass-derivation newtypes

Updated Oct 3, 2022
Scala

arrow-kt / arrow-meta

Star

Functional companion to Kotlin's Compiler

Updated Sep 25, 2022
Kotlin

typelevel / cats-mtl

Star

cats transformer type classes.

cats functional-programming monad typeclasses transformer-typeclasses

Updated Oct 3, 2022
Scala

Hirrolot / interface99

Star

Full-featured interfaces for C99

c99 oop metaprogramming macros generic-programming object-oriented polymorphism typeclasses type-system dynamic-dispatch metalang99

Updated Sep 3, 2022
C

djspiewak / shims

Sponsor

Star

Seamless interop layer between cats and scalaz

cats compatibility scalaz typeclasses

Updated Feb 26, 2021
Scala

coq-community / math-classes

Star

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

coq mathematics typeclasses coq-library

Updated Jun 30, 2022
Coq

scalasummerschool / lectures

Star

Learn Functional Programming in Scala

scala workshop functional-programming io-monad typeclasses

Updated Nov 22, 2018
Scala

softwaremill / scala-common

Star

Tiny independent libraries with a single purpose, often a single class

benchmarking scala id-generation commonlib typeclasses

Updated Oct 4, 2022
Scala

rudymatela / concise-cheat-sheets

Star

Cheat Sheets for programming languages and tools

documentation haskell latex cheatsheet latex-template ctf typeclasses haskell-learning reference-card

Updated Nov 8, 2021
TeX

i-am-tom / fantas-eel-and-specification

Star

Examples and exercises from the blog series

javascript functional example typeclasses algebraic-structures

Updated Jun 17, 2017
JavaScript

alhassy / next-700-module-systems

Star

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

language haskell lisp emacs modules records ocaml metaprogramming coq agda phd typeclasses first-class-citizens canonical-structures

Updated Oct 24, 2021
HTML

tonivade / purefun

Star

Functional Programming library for Java

java monads memoization stream experimental functional-programming tuples effects io-monad monad free-monad typeclasses monad-transformers immutable-collections mtl tagless-final higher-kinded-types

Updated Oct 2, 2022
Java

Improve this page

Add a description, image, and links to the typeclasses topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typeclasses topic, visit your repo's landing page and select "manage topics."

Learn more