ThoughtWorksInc/bindable.scala

User-friendly Binding.scala components

Language: Scala - Size: 356 KB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 23 - Forks: 3

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: about 1 month ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 0

felix-lang/felix

The Felix Programming Language

Language: C - Size: 86.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 787 - Forks: 43

funfix/funfix

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

Language: TypeScript - Size: 1.56 MB - Last synced: 2 days ago - Pushed: over 1 year ago - Stars: 632 - Forks: 25

hongchangwu/ocaml-type-classes

OCaml Type Classes

Language: OCaml - Size: 30.3 KB - Last synced: 20 days ago - Pushed: about 3 years ago - Stars: 17 - Forks: 0

joroKr21/flink-shapeless

ADT support for Flink with Shapeless

Language: Scala - Size: 483 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 12 - Forks: 3

petur-a/masters

Developing a type system for a minimal reversible functional language.

Language: TeX - Size: 1020 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 7 - Forks: 0

Primetalk/typed-ontology

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

Language: Scala - Size: 436 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 17 - Forks: 2

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: 3 months ago - Pushed: 6 months ago - Stars: 459 - Forks: 14

RemuLang/hybrid-type-system

Row + Implicit arguments + MLF.

Language: Python - Size: 85 KB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0

AndrasE/TypeScript-tutorial

TypeScript basics

Language: TypeScript - Size: 1.62 MB - Last synced: 7 months ago - Pushed: 7 months 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: 9 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

maxadamski/vitamin

The Vitamin programming language

Language: Nim - Size: 9.61 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 24 - Forks: 0

marcoantoniocorallo/MSet

Haskell implementation of MultiSet - Advanced Programming Assignment

Language: Haskell - Size: 174 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

michalkonecny/mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

Language: Haskell - Size: 1.68 MB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 2 - Forks: 1

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: 28 days ago - Pushed: over 1 year ago - Stars: 7 - Forks: 0

mgajda/difficultTypeClasses 📦

Working examples of Haskell typeclasses with both Haskell and JavaScript code

Language: HTML - Size: 133 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

funfix/funland

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

Language: TypeScript - Size: 2.43 MB - Last synced: 22 days ago - Pushed: over 5 years ago - Stars: 47 - Forks: 4

coord-e/ad-hoc-poly 📦

Implementation of type classes

Language: Haskell - Size: 222 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 5 - Forks: 1

RafalSumislawski/swaggerify

Deriving swagger files from Scala code

Language: Scala - Size: 76.2 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 5 - Forks: 0

AmbientTea/prolog-schemes

Optics and data transformation library

Language: Prolog - Size: 73.2 KB - Last synced: over 1 year ago - Pushed: almost 3 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: 4 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 1

dabliuw22/scala-http4s

Language: Scala - Size: 220 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 1

BlackMATov/fun.hpp

My old crazy idea about functional programming in C++

Language: C++ - Size: 168 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 15 - Forks: 1

dabliuw22/scala-cats

Language: Scala - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

dabliuw22/doobie-db

Language: Scala - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

vi-kas/experimental

just for fun

Language: Scala - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: about 6 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: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0