GitHub topics: typeclass
kevin-lee/logger-f
logger-f, Logger for F[_]
Language: Scala - Size: 5.02 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 10 - Forks: 0
medeia/medeia
A BSON libary for scala using typeclasses
Language: Scala - Size: 553 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 16 - Forks: 6
erikerlandson/coulomb
coulomb: unit analysis for Scala
Language: Scala - Size: 4.02 MB - Last synced at: 20 days ago - Pushed at: 2 months ago - Stars: 144 - Forks: 9
data-tools/big-data-types
A library to transform Scala product types and Schemes from different systems into other Schemes. Any implemented type automatically gets methods to convert it into the rest of the types and vice versa. E.g: a Spark Schema can be transformed into a BigQuery table.
Language: Scala - Size: 3.74 MB - Last synced at: 17 days ago - Pushed at: 26 days ago - Stars: 13 - Forks: 3
laserdisc-io/log-effect
A simple macro-less logging typeclass with some common backends
Language: Scala - Size: 883 KB - Last synced at: 21 days ago - Pushed at: 28 days ago - Stars: 23 - Forks: 4
softwaremill/magnolia
Easy, fast, transparent generic derivation of typeclass instances
Language: Scala - Size: 1.99 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 783 - Forks: 125
thefrontside/funcadelic.js
Functional programming and category theory for everyday JavaScript development
Language: JavaScript - Size: 214 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 200 - Forks: 16
ecyrbe/typeskell
Functional programming in Typescript
Language: TypeScript - Size: 346 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 76 - Forks: 2
mmenestret/fp-resources
Functional programming great resources
Size: 104 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 489 - Forks: 51
scala-hamsters/hamsters
A mini Scala utility library
Language: Scala - Size: 2.53 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 288 - Forks: 23
witchcrafters/type_class
(Semi-)principled type classes for Elixir
Language: Elixir - Size: 258 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 137 - Forks: 16
propensive/adversaria
Typeclass interfaces to access user-defined Scala annotations
Language: Scala - Size: 2.14 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 24 - Forks: 0
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: 3 months ago - Pushed at: almost 5 years ago - Stars: 29 - Forks: 3
nikita-volkov/isomorphism-class
Isomorphism typeclass solving the conversion problem
Language: Haskell - Size: 167 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1
perlicajs/perlica
Result and Option implemented like in Rust.
Language: TypeScript - Size: 245 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
sake92/tupson
Stupid simple Scala 3 library for writing and reading JSON
Language: Scala - Size: 184 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 8 - Forks: 0
eff3ct0/criteria4s
Criteria4s is a simple DSL to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a type-safe
Language: Scala - Size: 110 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 21 - Forks: 2
dmjio/envy
:angry: Environmentally friendly environment variables
Language: Haskell - Size: 119 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 151 - Forks: 26
tmccarthy/bfect
Some bifunctor IO type classes
Language: Scala - Size: 350 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 22 - Forks: 2
tek/amino 📦
functional data structures and utilities for python
Language: Python - Size: 663 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 36 - Forks: 5
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: 3 months ago - Pushed at: almost 4 years ago - Stars: 44 - Forks: 2
TotallyNotChase/c-iterplus
Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
Language: C - Size: 1.98 MB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 0
wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
Language: C++ - Size: 25.8 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 46 - Forks: 2
hermannhueck/typeclasses
Type Classes in Scala and Haskell
Language: Scala - Size: 3.89 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
reactivecore/cassandra_caseclass_adapter 📦
Automatic Adapter for Scala Case classes to Java Cassandra Driver
Language: Scala - Size: 35.2 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1
arainko/bencode
Typesafe and semi-automatically derived bencode encoders/decoders
Language: Scala - Size: 345 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
vpavkin/dtc
Provides type classes for datetime values. Works both on JVM & ScalaJS.
Language: Scala - Size: 785 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 6
makiftutuncu/typeclass-lightning-talk
Repository for my Lightning Talk about typeclasses at @vngrs
Language: Scala - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
Shou/type-operators
A collection of type-level operators
Language: Haskell - Size: 6.84 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 1
vendethiel/Typeclassopedia.pl6 📦
Typeclassopedia, in perl6, because.
Language: Perl6 - Size: 148 KB - Last synced at: about 1 year ago - Pushed at: about 11 years ago - Stars: 1 - Forks: 0
chris-martin/var-monad 📦
The VarMonad typeclass, as defined by "Type Classes: an exploration of the design space" by SPJ et al, 1997.
Language: Haskell - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - 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
MateuszKubuszok/dbg
Debug typeclass for Scala 3
Language: Scala - Size: 49.8 KB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
cuzfrog/java-typeclass-experimental
Experimental Golang style method impl/Monkey patch in Java via annotation processing
Language: Java - Size: 2.8 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
tchajed/coq-classes
A library of typeclasses for Coq
Language: Coq - Size: 52.7 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 3
lukeindykiewicz/typeclasses
Examples of type classes in Scala.
Language: Scala - Size: 15.6 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 4
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
afsalthaj/safe-string-interpolation
A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !
Language: Scala - Size: 1.22 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 5
MI-AFP/hw05
Homework to practice work with typeclasses
Language: Haskell - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
athanclark/purescript-arraybuffer-class
Simple encoding / decoding classes for ArrayBuffers
Language: PureScript - Size: 53.7 KB - Last synced at: 6 days ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 2
slepher/elixirdo
erlangdo rewrite in elixir
Language: Elixir - Size: 165 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
yangzai/spark-typeclass
Cats typeclass instances for Apache Spark
Language: Scala - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
salvalcantara/flink-events-and-polymorphism
Playground for comparing different strategies for dealing with polymorphic datasets in Flink
Language: Scala - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
athanclark/unit-constraint
Extremely simple typeclass
Language: Haskell - Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0
Lokidottir/parameterized-typesystems
Typechecker typeclasses for terms with a parameter for their typesystem.
Language: Haskell - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
HimanshuArora1234/Perturbator
Scala project to introduce little errors to values of various types using automatic type class instance derivation
Language: Scala - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
afijog/yasimplecsv Fork of JakeGreene/shapeless-csv
A CSV parser for Scala using Shapeless. This project is a test of Shapeless' capabilities.
Language: Scala - Size: 27.3 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 1
ctongfei/poly-algebra
Generic math programming and algebraic typeclass abstractions for Scala
Language: Scala - Size: 293 KB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 0
