Awesome Open Source

Programming Languages

Search results for types functional programming

functional-programming x

61 search results found

🥊 Tiny 200 byte functional event emitter / pubsub.

Language Ext ⭐ 6,022

C# functional language extensions - a base class library for functional programming

Lightweight, modular, and extensible library for functional programming.

Programming Language Theory λΠ

Scalaz ⭐ 4,650

Principled Functional Programming in Scala

Gluon ⭐ 3,022

A static, type inferred and embeddable language written in Rust.

Thinc ⭐ 2,774

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Eclipse Collections ⭐ 2,311

Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.

Neverthrow ⭐ 2,255

Type-Safe Errors for JS & TypeScript

The Lux Programming Language

Purify ⭐ 1,462

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

Monet.js ⭐ 1,440

monet.js - Monadic types library for JavaScript

An experimental language which adds functional programming features to Go.

Frunk ⭐ 1,099

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Goderive ⭐ 1,091

Derives and generates mundane golang functions that you do not want to maintain yourself

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

C++ template library for fans of functional programming

Ltupatternfactory ⭐ 958

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Elm Cheat Sheet ⭐ 918

An overview of Elm syntax and features

Kotlin Result ⭐ 893

A multiplatform Result monad for modelling success or failure operations.

Meta Typing ⭐ 764

📚 Functions and algorithms implemented purely with TypeScript's type system

Deeplearning.scala ⭐ 759

A simple library for creating complex neural networks

Optional ⭐ 732

A robust option type for C#

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

Classes ⭐ 575

Smart, pythonic, ad-hoc, typed polymorphism for Python

Derive4j ⭐ 517

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

Swift Prelude ⭐ 450

🎶 A collection of types and functions that enhance the Swift language.

Topshell ⭐ 444

TopShell - a purely functional, reactive scripting language

Flow Static Land ⭐ 418

[DEPRECATED, please check out fp-ts] Implementation of common algebraic types in JavaScript + Flow

Pratica ⭐ 402

🥃 Functional Algebraic Data Types

Scriptum ⭐ 380

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Strong type constraints for Scala

Fp Resources ⭐ 350

Functional programming great resources

Genesis ⭐ 312

All generic functions for Go you ever need!

Kocircuit ⭐ 308

Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations

🐤 A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

Functional PHP Preprocessor - Generate Immutable Data Types

Remote Data Ts ⭐ 280

RemoteData type

Typed Immutable ⭐ 265

Immutable and structurally typed data

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

Type-safe, statically checked composition of HTTP servers

Curryhoward ⭐ 232

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Functional data types and functions for any project

Requests ⭐ 221

Functional HTTP Requests in Go

Nanoutils ⭐ 211

🌊 Tiniest FP-friendly JavaScript utils library

Functional Type-safe Flux Standard Utilities

Typefunc ⭐ 182

Resources for type theory, functional programming, etc.

Maryamyriameliamurphies.js ⭐ 177

A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.

Philip2 ⭐ 168

An Elm to OCaml compiler

Fp Ts Routing ⭐ 162

A type-safe bidirectional routing library for TypeScript

C++ as a Pure Functional Programming Language

Runtime type checking for JS with Hindley Milner signatures

Fsconfig ⭐ 147

FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.

Functional, composable, asynchronous, type-safe Python.

Lambdaconf 2014 Introgame ⭐ 139

Online material for the Introduction to Functional Game Programming with Scala workshop.

Parapet ⭐ 135

A purely functional library to build distributed and event-driven systems

Rxsealedunions ⭐ 129

Compile-time checked Unions of different types for Domain Modeling [STABLE]

@typeofweb/schema: Lightweight validator with 100% TypeScript support and sane coercion rules.

pure functional and generic programming for Erlang

Replace boilerplate code with functional patterns using 'go generate'

Haskellresources ⭐ 108

Compilation of useful resources for learning Haskell

Lamphpda ⭐ 108

A collection of type-safe functional data structures

An Emacs library for declarative JSON parsing

Functional Programming library for Java

Functional ⭐ 96

Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.

Fetcher Ts ⭐ 93

Type-safe wrapper around Fetch API

Kotlin Monads ⭐ 91

Monads for Kotlin

Nim functional programming library

Yapdatabaseextensions ⭐ 88

YapDatabase extensions for use with Swift

Typed Fp Good Reads ⭐ 87

📚 List of useful resources to learn typed FP

Fp Ts Laws ⭐ 79

fp-ts type class laws for property based testing

Funrouter ⭐ 78

Functional & type-safe URL routing example for http://2016.funswiftconf.com

λ Minimal Functional Programming Utilities for TypeScript & JavaScript

Typelang ⭐ 76

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

Json Decoder ⭐ 74

Type safe JSON decoder for TypeScript

Data_schema ⭐ 73

Declarative schemas for data transformations.

Higher Kinded Type machinery for Java

A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of a grammar

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

Elemarjr.functionalcsharp ⭐ 63

.NET implementations for common functional patterns and types.

new major version of folio

Little Type Library ⭐ 62

A little metaprogramming and functional library

Functional ⭐ 60

Functional is a set of libraries that support functional programming patterns in C#.

Boostlibrariescheetsheetchn ⭐ 60

Boost速查手册

Functional additions to C

The compilation target that functional programmers always wanted.

Language ⭐ 52

A minimal but powerful programming language based on C, Go and Haskell

Graphql Ast Types ⭐ 46

Functional helpers for working with a GraphQL AST

Cleantype ⭐ 44

Readable and consistent C++ type introspection - Compiler Decipherer

An F# code library for pure functional programming... and much more!

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Smallfunction ⭐ 42

Stack allocated and type-erased functors 🐜

Alphabet Soup ⭐ 40

Type calculations at compile time

Kotlin For Scala Devs ⭐ 39

A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees

Collections ⭐ 39

Collections for PHP with focus on Immutability and Functional Programming.

Sum Type ⭐ 38

A simple, serializable sum-type format

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

Quiverjs ⭐ 37

Functional programming for the web

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Javascript Functional Programming (2,473)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

1-61 of 61 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.