Topic: typeclasses Goto Github
Some thing interesting about typeclasses
Some thing interesting about typeclasses
typeclasses,Companion repository for 'No More Orphans'
Organization: 7mind
Home Page: https://blog.7mind.io/no-more-orphans.html
typeclasses,A reference sheet for the basics of the mind-expanding Haskell language ^_^
User: alhassy
typeclasses,PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
User: alhassy
typeclasses,Playing with type systems
User: andreypopp
typeclasses,Feature-complete typeclasses for C++
User: arbrk1
typeclasses,Λrrow - Functional companion to Kotlin's Standard Library
Organization: arrow-kt
Home Page: http://arrow-kt.io
typeclasses,Media blog for the functional companion to Kotlin's Standard Library
Organization: arrow-kt
Home Page: https://media.arrow-kt.io
typeclasses,Functional companion to Kotlin's Compiler
Organization: arrow-kt
Home Page: https://meta.arrow-kt.io
typeclasses,Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
Organization: arrow-kt
typeclasses,Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Organization: coq-community
Home Page: https://coq-community.org/lemma-overloading/
typeclasses,A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Organization: coq-community
Home Page: https://math-classes.github.io
typeclasses,learn-by-doing course/tutorial for functional programming on scala
User: dehun
Home Page: https://github.com/dehun/learn-fp
typeclasses,Automatic derivation of functional-java typeclasse instances and optics
Organization: derive4j
typeclasses,Seamless interop layer between cats and scalaz
User: djspiewak
typeclasses,Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
User: dmytromitin
typeclasses,Smart, pythonic, ad-hoc, typed polymorphism for Python
Organization: dry-python
Home Page: https://classes.rtfd.io
typeclasses,Domain Modelling and Structural Derivation (port of morphic-ts)
Organization: effect-deprecated
Home Page: https://matechs.com
typeclasses,Configured derivation library for scala 3
Organization: evolution-gaming
typeclasses,Automatic Form Derivation for Outwatch
User: fdietze
typeclasses,Code samples for the use cases given at my Dublin Scala Meetup's talk
User: gvolpe
Home Page: https://www.meetup.com/Dublin-Scala-users-group/events/245073335/
typeclasses,:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
User: gvolpe
Home Page: https://leanpub.com/pfp-scala
typeclasses,Typeclasses, datatypes and theorems for functional programming in Coq.
Organization: hablapps
Home Page: http://www.hablapps.com
typeclasses,Purely functional testing in Scala
Organization: hablapps
typeclasses,Full-featured interfaces for C99
User: hirrolot
typeclasses,Examples and exercises from the blog series
User: i-am-tom
Home Page: http://www.tomharding.me/2017/03/03/fantas-eel-and-specification/
typeclasses,
User: izeigerman
typeclasses,Materials for MI-AFP course tutorials
Organization: mi-afp
Home Page: https://ccmi.fit.cvut.cz/en
typeclasses,Functional programming great resources
User: mmenestret
typeclasses,JSON typeclasses that know the difference between null and absent fields
User: nrktkt
Home Page: https://www.youtube.com/watch?v=3v-5Q4NLdNE
typeclasses,Minimal typeclass definitions for seamless integration without hard dependencies for Scala
User: propensive
Home Page: https://soundness.dev/anticipation/
typeclasses,A general mechanism to implement symbolic operators in Scala
User: propensive
Home Page: https://soundness.dev/symbolism/
typeclasses,Easy, fast, transparent generic derivation of typeclass instances in Scala
User: propensive
Home Page: https://soundness.dev/wisteria/
typeclasses,Cheat Sheets for programming languages and tools
User: rudymatela
typeclasses,Learn Functional Programming in Scala
Organization: scalasummerschool
Home Page: https://scalasummerschool.github.io
typeclasses,Principled, fast, typeclass derivation.
Organization: scalaz
typeclasses,Easy, fast, transparent generic derivation of typeclass instances
Organization: softwaremill
Home Page: https://softwaremill.com/open-source/
typeclasses,Tiny independent libraries with a single purpose, often a single class
Organization: softwaremill
Home Page: https://softwaremill.com/open-source/
typeclasses,Native JavaScript prototype extension with symbol protocols
Organization: symbola
Home Page: https://symbola.github.io/symbola/
typeclasses,Full-featured traits in Julia. Without full features how dare I say this?
User: thautwarm
typeclasses,Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
User: thautwarm
typeclasses,Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
User: thma
typeclasses,Composable equality and pretty-printing for TypeScript. Useful for building test assertion libraries.
Organization: tinymce
typeclasses,Functional programming toolbox
Organization: tofu-tf
Home Page: https://tofu-tf.github.io/tofu/
typeclasses,Functional Programming library for Java
User: tonivade
typeclasses,:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
User: totallynotchase
typeclasses,Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
User: totallynotchase
typeclasses,The pure asynchronous runtime for Scala
Organization: typelevel
Home Page: https://typelevel.org/cats-effect/
typeclasses,cats transformer type classes.
Organization: typelevel
Home Page: https://typelevel.org/cats-mtl/
typeclasses,Scalaz typeclasses <~> Playframework2 typeclasses
User: xuwei-k
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.