arrow-kt/arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

Language: Kotlin - Size: 55.7 MB - Last synced at: about 6 hours ago - Pushed at: about 24 hours ago - Stars: 6,324 - Forks: 453

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.34 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 132 - Forks: 4

dry-python/classes

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

Language: Python - Size: 881 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 702 - Forks: 27

typelevel/cats-effect

The pure asynchronous runtime for Scala

Language: Scala - Size: 129 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,116 - Forks: 549

scalaz/scalaz-deriving

Principled, fast, typeclass derivation.

Language: Scala - Size: 1.31 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 54 - Forks: 11

arrow-kt/arrow-meta

Functional companion to Kotlin's Compiler

Language: Kotlin - Size: 21 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 403 - Forks: 43

nrktkt/ninny-json

JSON typeclasses that know the difference between null and absent fields

Language: HTML - Size: 334 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 21 - Forks: 8

TotallyNotChase/c-iterators

:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99

Language: C - Size: 686 KB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 98 - Forks: 2

gvolpe/pfps-shopping-cart

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

Language: Scala - Size: 1.63 MB - Last synced at: about 8 hours ago - Pushed at: 24 days ago - Stars: 538 - Forks: 169

tofu-tf/tofu

Functional programming toolbox

Language: Scala - Size: 24.8 MB - Last synced at: 9 days ago - Pushed at: 27 days ago - Stars: 543 - Forks: 95

andreypopp/type-systems

Playing with type systems

Language: OCaml - Size: 199 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 50 - Forks: 2

softwaremill/magnolia

Easy, fast, transparent generic derivation of typeclass instances

Language: Scala - Size: 1.99 MB - Last synced at: 12 days ago - Pushed at: 13 days ago - Stars: 781 - Forks: 124

thautwarm/FSTan

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

Language: F# - Size: 76.2 KB - Last synced at: 23 days ago - Pushed at: almost 6 years ago - Stars: 43 - Forks: 4

thma/LtuPatternFactory

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

Language: Haskell - Size: 588 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 999 - Forks: 37

typelevel/cats-mtl

cats transformer type classes.

Language: Scala - Size: 5.81 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 309 - Forks: 64

fdietze/formidable

Automatic Form Derivation for Outwatch

Language: Scala - Size: 15.8 MB - Last synced at: 9 days ago - Pushed at: 23 days ago - Stars: 5 - Forks: 4

xuwei-k/play2scalaz

Scalaz typeclasses <~> Playframework2 typeclasses

Language: Scala - Size: 259 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 4

rocq-community/math-classes

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

Language: Coq - Size: 2.86 MB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 165 - Forks: 43

evolution-gaming/derivation

Configured derivation library for scala 3

Language: Scala - Size: 163 KB - Last synced at: 24 days ago - Pushed at: 7 months ago - Stars: 35 - Forks: 6

propensive/anticipation

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

Language: Scala - Size: 3.17 MB - Last synced at: 11 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1

DmytroMitin/AUXify

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

Language: Scala - Size: 13.9 MB - Last synced at: 15 days ago - Pushed at: almost 5 years ago - Stars: 29 - Forks: 3

symbola/symbola

Native JavaScript prototype extension with symbol protocols

Language: TypeScript - Size: 381 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 13 - Forks: 0

tinymce/dispute

Composable equality and pretty-printing for TypeScript. Useful for building test assertion libraries.

Language: TypeScript - Size: 194 KB - Last synced at: 10 days ago - Pushed at: 20 days ago - Stars: 4 - Forks: 4

rudymatela/concise-cheat-sheets

Cheat Sheets for programming languages and tools

Language: TeX - Size: 220 KB - Last synced at: about 7 hours ago - Pushed at: over 1 year ago - Stars: 112 - Forks: 12

propensive/wisteria

Easy, fast, transparent generic derivation of typeclass instances in Scala

Language: Scala - Size: 2.82 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 20 - Forks: 3

csgn/lamda

Lamda is a minimal functional programming library for Scala.

Language: Scala - Size: 1.88 MB - Last synced at: 30 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

propensive/symbolism

A general mechanism to implement symbolic operators in Scala

Language: Scala - Size: 726 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

rocq-community/lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

Language: Coq - Size: 1.1 MB - Last synced at: 16 days ago - Pushed at: 25 days ago - Stars: 27 - Forks: 6

omentic/chrysanthemum

A blossoming type system.

Language: Rust - Size: 2.95 MB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

alhassy/HaskellCheatSheet

A reference sheet for the basics of the mind-expanding Haskell language ^_^

Size: 1.2 MB - Last synced at: 23 days ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 1

nikita-volkov/lawful-conversions

Lawful typeclasses for conversion between types

Language: Haskell - Size: 217 KB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1

thautwarm/CanonicalTraits.jl

Full-featured traits in Julia. Without full features how dare I say this?

Language: Julia - Size: 82 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 66 - Forks: 9

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

Examples and exercises from the blog series

Language: JavaScript - Size: 32.2 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 85 - Forks: 6

TotallyNotChase/typeclass-interface-pattern

Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C

Language: C - Size: 49.8 KB - Last synced at: 13 days ago - Pushed at: almost 4 years ago - Stars: 44 - Forks: 2

alhassy/next-700-module-systems

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

Language: HTML - Size: 80.9 MB - Last synced at: 16 days ago - Pushed at: over 3 years ago - Stars: 81 - Forks: 6

mtumilowicz/scala-cats-implicit-workshop

Introduction to scala implicit systems with examples.

Language: Scala - Size: 96.7 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 488 - Forks: 49

Kamirus/purescript-functional-concepts

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

Language: PureScript - Size: 32.2 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1

softwaremill/scala-common

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

Language: Scala - Size: 203 KB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 120 - Forks: 16

arrow-kt/arrow-meta-examples 📦

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

Language: Kotlin - Size: 153 KB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 58 - Forks: 20

Hirrolot/interface99

Full-featured interfaces for C99

Language: C - Size: 412 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 277 - Forks: 13

arbrk1/typeclasses_cpp

Feature-complete typeclasses for C++

Language: C++ - Size: 56.6 KB - Last synced at: 20 days ago - Pushed at: almost 5 years ago - Stars: 11 - Forks: 3

gvolpe/cats-effect-demo

Code samples for the use cases given at my Dublin Scala Meetup's talk

Language: Scala - Size: 9.77 KB - Last synced at: about 8 hours ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 6

DmytroMitin/shapeless Fork of milessabin/shapeless

Generic programming for Scala

Language: Scala - Size: 6.12 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dehun/learn-fp

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

Language: Scala - Size: 1.19 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 605 - Forks: 128

andriimartynov/cats-crdt

This is an implementation in progress of various conflict free replicated datatypes (CRDT) in Scala.

Language: Scala - Size: 48.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

indyscala/typeclass-intro

Introduction to Scala Type Classes

Language: Scala - Size: 14.6 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

techmonad/learning-type-classes

Understanding of type classes by examples

Language: Scala - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

hermannhueck/typeclasses-from-the-ground-up

Type Classes from the Ground up (inspired by Nicolas Rinaudo's talk)

Language: Scala - Size: 36.1 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

djspiewak/shims 📦

Seamless interop layer between cats and scalaz

Language: Scala - Size: 316 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 174 - Forks: 15

wshager/abstractng

Abstract patterns in JS

Language: TypeScript - Size: 498 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

arrow-kt/arrow-media

Media blog for the functional companion to Kotlin's Standard Library

Language: SCSS - Size: 1.88 MB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 4

mslinn/simulacrum-test 📦

Getting to know Simulacrum

Language: Scala - Size: 19.5 KB - Last synced at: 12 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

hablapps/puretest

Purely functional testing in Scala

Language: Scala - Size: 104 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 29 - Forks: 10

shrynx/reasonz

A Haskell fan fiction for ReasonML

Language: OCaml - Size: 7.81 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2

logicalguess/type-intro

Introduction to type level programming in Scala.

Language: Scala - Size: 916 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

7mind/no-more-orphans

Companion repository for 'No More Orphans'

Language: Scala - Size: 43 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1

MI-AFP/tutorials

Materials for MI-AFP course tutorials

Size: 353 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 2

matteoantoci/fat-arrow-ts

Fat Arrow is a library for Typed Functional Programming in TypeScript compatible with Node.js and all major browsers.

Language: TypeScript - Size: 1020 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

UttejG/typeclasses-demo

Demo project to explain Typeclasses pattern in Scala

Language: Scala - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

makiftutuncu/typeclass-lightning-talk

Repository for my Lightning Talk about typeclasses at @vngrs

Language: Scala - Size: 9.77 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

scalasummerschool/lectures

Learn Functional Programming in Scala

Language: Scala - Size: 3.26 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 115 - Forks: 35

Effect-Deprecated/morphic

Domain Modelling and Structural Derivation (port of morphic-ts)

Language: TypeScript - Size: 2.9 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

Unisay/fantastic-typeclasses 📦

Preparing a talk about less known typeclasses

Language: JavaScript - Size: 1.63 MB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

larsrh/jimplicits 📦

What happens if you really want type classes in Java? (DISCONTINUED)

Language: Java - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Kazark/tyclgen

Type Class Generator for F# ... not as good as it sounds

Language: Idris - Size: 19.5 KB - Last synced at: 4 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

kvwatkins/Kinds

Extending F#'s Capabilities Through Various Means

Language: F# - Size: 27.3 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

hablapps/geofences

A proof-of-concept application to show the principles of purely functional programming

Language: Scala - Size: 21.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1

RawToast/sbouken

Rewrite of Bouken using MTL / final tagless and ReasonML

Language: Scala - Size: 656 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

DmytroMitin/shapeless-circe-patched-type-keytag

https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala

Language: Scala - Size: 206 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

gneuvill/derive4j-jackson

Language: Java - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

sweet-delights/delightful-typeclasses

A Scala library containing utility typeclasses

Language: Scala - Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 1

dabliuw22/fs2-kafka

Language: Scala - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

GuiBrandt/higher-kt

Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin

Language: Kotlin - Size: 73.2 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ProjectSavanna/typeclasses

Common typeclasses in Standard ML

Language: Standard ML - Size: 4.88 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1

blockspacer/flex_typeclass_plugin

typeclasses. Supports combinations of multiple typeclasses and out-of-source method definitions (data and logic separation).

Language: C++ - Size: 535 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

nrinaudo/type-classes-from-the-ground-up

Slides for a talk on typeclasses, using CSV as a running example

Language: HTML - Size: 7.31 MB - Last synced at: 21 days ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 2

afsalthaj/supaku-sukara

Functional Programming, Functional Programming Exercise Solutions in Scala & Spark

Language: Scala - Size: 22.9 MB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

dabliuw22/prueba-s4n-scala

Language: Scala - Size: 138 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dabliuw22/haskell-http

Language: Haskell - Size: 173 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

kazchimo/tats

Language: Python - Size: 176 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dabliuw22/tagless-final-dotty

Language: Scala - Size: 36.1 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

dabliuw22/tagless-final

Language: Scala - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rzeigler/scala-typeclasses

A presentation on typeclasses for the Dallas Scala Meetup

Language: HTML - Size: 197 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

danielapochini/ITE-005

Projetos desenvolvidos utilizando a linguagem Haskell para a matéria "Tópicos Especiais de Sistemas para Internet III" da Fatec Rubens Lara.

Language: Haskell - Size: 8.21 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

dabliuw22/kotlin-arrow

Language: Kotlin - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

langston-barrett/coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq

Language: Coq - Size: 607 KB - Last synced at: 15 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

mlopes/wen

Date and time types and instances

Language: Scala - Size: 326 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

dabliuw22/haskell-redis

Language: Haskell - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

DmytroMitin/export-hook Fork of milessabin/export-hook

Minimal infrastructure for type class providers to support the inclusion of derived, subclass and other orphan instances in their implicit scope.

Language: Scala - Size: 143 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

rucek/monad-transformers

Step-by-step implementation of a monad transformer in Scala

Language: Scala - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

ajatix/calculate

A Scala implementation of a calculator to illustrate Functional Programming concepts like ADTs, Implicits and Typeclasses

Language: Scala - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

hablapps/koky

Typeclasses, datatypes and theorems for functional programming in Coq.

Language: Coq - Size: 51.8 KB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1

derive4j/derive4j-fj

Automatic derivation of functional-java typeclasse instances and optics

Language: Java - Size: 137 KB - Last synced at: about 20 hours ago - Pushed at: about 5 years ago - Stars: 21 - Forks: 4

athanclark/tries

Various trie data types in Haskell

Language: Haskell - Size: 2.19 MB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

hablapps/pureflow

Spark ETLs, in a purely functional way

Language: Scala - Size: 162 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

athanclark/sets

Sets in Haskell.

Language: HTML - Size: 3.65 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

viswanath7/herding-cats

Explores usage of type classes defined in cats library

Language: Scala - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

izeigerman/scalanum

Language: Scala - Size: 6.84 KB - Last synced at: 23 days ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 0

hablapps/naturally

Programming in a tagless-final style, naturally

Language: Scala - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0