typelevel/cats-effect

The pure asynchronous runtime for Scala

Language: Scala - Size: 131 MB - Last synced at: 2 days ago - Pushed at: 11 days ago - Stars: 2,135 - Forks: 557

tofu-tf/tofu

Functional programming toolbox

Language: Scala - Size: 24.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 544 - Forks: 97

FaridMo/scats

A comprehensive TypeScript library bringing Scala's powerful functional programming paradigms to JavaScript/TypeScript, featuring immutable collections, monads, pattern matching, and more

Language: TypeScript - Size: 1.07 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

arrow-kt/arrow

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

Language: Kotlin - Size: 56.9 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 6,374 - Forks: 455

dry-python/classes

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

Language: Python - Size: 881 KB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 711 - Forks: 28

fdietze/formidable

Automatic Form Derivation for Outwatch

Language: Scala - Size: 16.3 MB - Last synced at: 1 day ago - Pushed at: 9 days ago - Stars: 5 - Forks: 4

tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.59 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 131 - Forks: 5

typelevel/cats-mtl

cats transformer type classes.

Language: Scala - Size: 5.85 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 310 - Forks: 64

scalaz/scalaz-deriving

Principled, fast, typeclass derivation.

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

xuwei-k/play2scalaz

Scalaz typeclasses <~> Playframework2 typeclasses

Language: Scala - Size: 265 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 14 - Forks: 4

andreypopp/type-systems

Playing with type systems

Language: OCaml - Size: 199 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 51 - Forks: 2

nikita-volkov/lawful-conversions

Lawful typeclasses for conversion between types

Language: Haskell - Size: 247 KB - Last synced at: 3 days ago - Pushed at: 20 days ago - Stars: 5 - Forks: 1

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: 2 days ago - Pushed at: 4 days ago - Stars: 541 - Forks: 168

hirrolot/interface99

Full-featured interfaces for C99

Language: C - Size: 347 KB - Last synced at: 27 days ago - Pushed at: 3 months ago - Stars: 324 - Forks: 14

arrow-kt/arrow-meta

Functional companion to Kotlin's Compiler

Language: Kotlin - Size: 21 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 404 - Forks: 43

softwaremill/magnolia

Easy, fast, transparent generic derivation of typeclass instances

Language: Scala - Size: 1.99 MB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 783 - Forks: 125

chrismichaelps/scats

A comprehensive TypeScript library bringing Scala's powerful functional programming paradigms to JavaScript/TypeScript, featuring immutable collections, monads, pattern matching, and more

Language: TypeScript - Size: 1.33 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

rocq-community/math-classes

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

Language: Coq - Size: 2.88 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 166 - Forks: 43

thma/LtuPatternFactory

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

Language: Haskell - Size: 588 KB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 1,000 - Forks: 37

tinymce/dispute

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

Language: TypeScript - Size: 197 KB - Last synced at: 15 days ago - Pushed at: 2 months ago - Stars: 4 - Forks: 4

nrktkt/ninny-json

JSON typeclasses that know the difference between null and absent fields

Language: HTML - Size: 334 KB - Last synced at: about 1 month ago - Pushed at: 3 months 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: 2 months ago - Pushed at: almost 4 years ago - Stars: 98 - Forks: 2

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: 9 days ago - Pushed at: about 6 years ago - Stars: 43 - Forks: 4

mmenestret/fp-resources

Functional programming great resources

Size: 104 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 489 - Forks: 51

evolution-gaming/derivation

Configured derivation library for scala 3

Language: Scala - Size: 163 KB - Last synced at: about 2 months ago - Pushed at: 9 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: 9 days ago - Pushed at: 4 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: 2 months ago - Pushed at: almost 5 years ago - Stars: 29 - Forks: 3

symbola/symbola

Native JavaScript prototype extension with symbol protocols

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

rudymatela/concise-cheat-sheets

Cheat Sheets for programming languages and tools

Language: TeX - Size: 220 KB - Last synced at: about 2 months 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: 9 days ago - Pushed at: 5 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: 17 days ago - Pushed at: 5 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: 9 days ago - Pushed at: 5 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: 8 days ago - Pushed at: 3 months ago - Stars: 27 - Forks: 6

omentic/chrysanthemum

A blossoming type system.

Language: Rust - Size: 2.95 MB - Last synced at: about 18 hours 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: 3 months ago - Pushed at: about 5 years ago - Stars: 30 - 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: 12 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: 4 months ago - Pushed at: about 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: 2 months 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: 2 months 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: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Kamirus/purescript-functional-concepts

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

Language: PureScript - Size: 32.2 KB - Last synced at: 2 months ago - Pushed at: 8 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: 26 days ago - Pushed at: about 1 month 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: 4 days ago - Pushed at: almost 3 years ago - Stars: 58 - Forks: 20

arbrk1/typeclasses_cpp

Feature-complete typeclasses for C++

Language: C++ - Size: 56.6 KB - Last synced at: about 1 month 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: 2 days ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 6

hablapps/puretest

Purely functional testing in Scala

Language: Scala - Size: 104 KB - Last synced at: 12 days ago - Pushed at: about 7 years ago - Stars: 30 - Forks: 10

DmytroMitin/shapeless Fork of milessabin/shapeless

Generic programming for Scala

Language: Scala - Size: 6.12 MB - Last synced at: about 1 year ago - Pushed at: about 1 year 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: over 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: about 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: about 1 year ago - Pushed at: over 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: about 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: 4 days ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 4

mslinn/simulacrum-test 📦

Getting to know Simulacrum

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

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: about 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: about 1 year 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: 7 days 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: almost 2 years 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: 2 months 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: 12 days ago - Pushed at: over 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: over 2 years ago - Pushed at: almost 6 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: 7 days ago - Pushed at: about 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: 12 days ago - Pushed at: about 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: over 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: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

gneuvill/derive4j-jackson

Language: Java - Size: 12.7 KB - Last synced at: 3 months ago - Pushed at: over 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: 4 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 1

dabliuw22/fs2-kafka

Language: Scala - Size: 70.3 KB - Last synced at: over 2 years ago - Pushed at: over 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: 11 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

ProjectSavanna/typeclasses

Common typeclasses in Standard ML

Language: Standard ML - Size: 4.88 KB - Last synced at: 11 months ago - Pushed at: about 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: over 1 year ago - Pushed at: about 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: 3 months ago - Pushed at: about 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: 4 months ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

dabliuw22/prueba-s4n-scala

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

dabliuw22/haskell-http

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

kazchimo/tats

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

dabliuw22/tagless-final-dotty

Language: Scala - Size: 36.1 KB - Last synced at: over 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: over 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: over 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: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

dabliuw22/kotlin-arrow

Language: Kotlin - Size: 72.3 KB - Last synced at: over 2 years ago - Pushed at: almost 5 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: 17 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1

mlopes/wen

Date and time types and instances

Language: Scala - Size: 326 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 1

dabliuw22/haskell-redis

Language: Haskell - Size: 21.5 KB - Last synced at: over 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: over 2 years ago - Pushed at: about 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: about 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: 12 days ago - Pushed at: almost 6 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 2 months ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 4

athanclark/tries

Various trie data types in Haskell

Language: Haskell - Size: 2.19 MB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

hablapps/pureflow

Spark ETLs, in a purely functional way

Language: Scala - Size: 162 KB - Last synced at: 12 days 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: 3 days 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: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1