Repository Index

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

• algebraic-data-types
• optics
• functional-programming
• algebra

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

• coq-library
• typeclasses
• mathematics
• coq

QuickCheck powered law tests for PureScript's core typeclasses.

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

• coq
• canonical-structures
• typeclasses
• ssreflect

Gremlin-Server client with ad-hoc extensible, reactive, typeclass based API allowing for using turing complete graph traversal language gremlin to query graph databases from browser

• legacy-code

Simple encoding / decoding classes for ArrayBuffers

• purescript
• arraybuffer
• typeclass
• generics