type-classes

Star

Here are 34 public repositories matching this topic...

Language:All

Filter by language

All34 Scala11 Haskell5 TypeScript4 C++2 JavaScript2 TeX2 C1 CSS1 HTML1 Java1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

felix-lang /felix

Star814

The Felix Programming Language

programming-language c-plus-plus programming code-generator compiler functional-programming static-analysis ocaml coroutines scripting-language compiled polymorphism platform-independent performant coroutine-framework type-classes parametric-polymorphism

UpdatedSep 23, 2024
C

funfix /funfix.js

Star632

Functional Programming Library for JavaScript, TypeScript and Flow ✨⚡️

javascript typescript functional-programming async es2015 concurrency fp flowtype futures type-classes

UpdatedJun 1, 2024
TypeScript

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.

monads haskell functional-programming mapping pattern-matching anonymous-functions algebraic-data-types functor higher-order-functions polymorphic-types lazy-evaluation folding function-composition foldable list-comprehension type-classes declarative-programming partial-application first-class-functions explicit-side-effects

UpdatedDec 15, 2023
Haskell

funfix /funland.js

Star46

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

javascript typescript functional-programming fp flowtype fantasy-land type-classes

UpdatedJun 1, 2024
TypeScript

ThoughtWorksInc /bindable.scala

Star23

User-friendly Binding.scala components

scala data-binding functional-reactive-programming scala-js type-classes

UpdatedJan 5, 2025
Scala

Primetalk /typed-ontology

Star19

A unique fusion of ontology ideas, strong Scala type system and Json flexibility

scala ontology type-classes

UpdatedOct 15, 2025
Scala

hongchangwu /ocaml-type-classes

Star18

OCaml Type Classes

ocaml type-classes

UpdatedApr 28, 2021
OCaml

BlackMATov /fun.hpp

Star14

My old crazy idea about functional programming in C++

c-plus-plus haskell cpp functional-programming cpp17 c-plus-plus-17 type-classes

UpdatedOct 29, 2020
C++

joroKr21 /flink-shapeless

Star12

ADT support for Flink with Shapeless

serialization algebraic-data-types shapeless flink type-classes

UpdatedJan 11, 2020
Scala

williamareynolds /ts-cat

Star7

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

typescript typescript-library monad functor category-theory fantasy-land maybe applicative type-classes higher-kinded-types maybe-monad fantasy-land-spec static-land static-land-spec

UpdatedDec 10, 2022
TypeScript

petur-a /masters

Star7

Developing a type system for a minimal reversible functional language.

functional-programming master-thesis semantics type-theory reversible-programming-language diku operational-semantics type-classes program-transformations linear-logic first-match-policy

UpdatedAug 30, 2018
TeX

RafalSumislawski /swaggerify

Star6

Deriving swagger files from Scala code

scala swagger rho type-classes

UpdatedDec 2, 2021
Scala

coord-e /ad-hoc-poly

Star6

Implementation of type classes

transpiler type-inference type-classes ad-hoc-polymorphism

UpdatedDec 15, 2019
Haskell

mtoohey31 /tabular-types

Star5

Proofs for Extensible Data Types with Ad-Hoc Polymorphism

programming-languages type-classes row-types lean4

UpdatedOct 22, 2025
Lean

zarinfam /java-type-classes-sample

Star4

This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:

java scala functional-programming java8 type-classes

UpdatedJun 27, 2019
Java

danielkreck /Analysis-of-PureScripts-Compilation-Process

Star3

Understanding concepts of functional languages (ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. The paper was written in German during a semester university project. Maybe it helps anyone on his road to functional programming as well.

javascript monads purescript analysis functional-languages algebraic-data-types recursion higher-order-functions side-effects type-classes functors applicative-functors