Topic: "type-classes"
felix-lang/felix
The Felix Programming Language
Language: C - Size: 86.4 MB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 815 - Forks: 45
funfix/funfix.js 📦
Functional Programming Library for JavaScript, TypeScript and Flow ✨⚡️
Language: TypeScript - Size: 1.4 MB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 632 - Forks: 25
thma/WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Language: Haskell - Size: 480 KB - Last synced at: about 13 hours ago - Pushed at: over 1 year ago - Stars: 469 - Forks: 14
funfix/funland.js 📦
Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
Language: TypeScript - Size: 784 KB - Last synced at: 2 days ago - Pushed at: 12 months ago - Stars: 46 - Forks: 4
maxadamski/vitamin
The Vitamin programming language
Language: Nim - Size: 9.61 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 0
ThoughtWorksInc/bindable.scala
User-friendly Binding.scala components
Language: Scala - Size: 363 KB - Last synced at: 19 days ago - Pushed at: 4 months ago - Stars: 23 - Forks: 3
Primetalk/typed-ontology
A unique fusion of ontology ideas, strong Scala type system and Json flexibility
Language: Scala - Size: 492 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 3
hongchangwu/ocaml-type-classes
OCaml Type Classes
Language: OCaml - Size: 30.3 KB - Last synced at: 11 days ago - Pushed at: about 4 years ago - Stars: 18 - Forks: 0
BlackMATov/fun.hpp
My old crazy idea about functional programming in C++
Language: C++ - Size: 168 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 1
joroKr21/flink-shapeless
ADT support for Flink with Shapeless
Language: Scala - Size: 483 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 3
williamareynolds/ts-cat
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
Language: TypeScript - Size: 729 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
petur-a/masters
Developing a type system for a minimal reversible functional language.
Language: TeX - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
RafalSumislawski/swaggerify
Deriving swagger files from Scala code
Language: Scala - Size: 76.2 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
coord-e/ad-hoc-poly 📦
Implementation of type classes
Language: Haskell - Size: 222 KB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1
RemuLang/hybrid-type-system
Row + Implicit arguments + MLF.
Language: Python - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
zarinfam/java-type-classes-sample
This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:
Language: Java - Size: 4.88 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
michalkonecny/mixed-types-num
Alternative to Haskell Prelude.Num, deriving types bottom-up
Language: Haskell - Size: 1.72 MB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 1
AmbientTea/prolog-schemes
Optics and data transformation library
Language: Prolog - Size: 73.2 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
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: almost 4 years ago - Stars: 1 - Forks: 1
vi-kas/experimental
just for fun
Language: Scala - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
unitb/axiomatic-classes
Specify axioms for type classes and quickCheck all available instances
Language: Haskell - Size: 193 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
mgajda/difficultTypeClasses 📦
Working examples of Haskell typeclasses with both Haskell and JavaScript code
Language: HTML - Size: 133 KB - Last synced at: 5 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0
AndrasE/typescript-tutorial 📦
TypeScript basics
Language: TypeScript - Size: 5.84 MB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
MateuszKubuszok/TypeClassPresentationExamples
scala
Language: Scala - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
MateuszKubuszok/TypeClassPresentation
Talk for Ya!vaConf conference I gave on 23.12.2023
Language: JavaScript - Size: 4.52 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
marcoantoniocorallo/MSet
Haskell implementation of MultiSet - Advanced Programming Assignment
Language: Haskell - Size: 174 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
dabliuw22/scala-http4s
Language: Scala - Size: 220 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1
dabliuw22/scala-cats
Language: Scala - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
dabliuw22/doobie-db
Language: Scala - Size: 48.8 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
moosch/js-type-classes
Extending the range of data types in JavaScript...for fun
Language: JavaScript - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
