634 Open source projects that are alternatives of or similar to F

Mtac in Agda

A resilient and scalable shopping cart system designed using Event Sourcing (ES) and Command Query Responsibility Segregation (CQRS)

Functional testing for Scala.

An example of how to create services using tagless final

Serverless AWS Lambda with Node.js,Postgres Rest API with Sequelize.

C++ Monadologie

Proof of concept for a cats-like library built using Dotty features

🔧 Fast, modern, and practical utility library for FP in TypeScript.

Lightweight collections for JavaScript

a library to write async vert.x code similar as using java syntax

A Coq-based synthesis of Scala programs which are correct-by-construction

Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Swift Concurrent Collections

DDD sample implementation by Scala.

Compares of Java Collections and Objects (of different classes) made easy

A statically-typed, functional typesetting system

📝 Collections library made in TypeScript

A complete, fully tested and documented data structure library written in pure JavaScript.

What if Laravel's Collection and Model classes had a baby?

The Egison Programming Language

Fast strong typed 'Either' data structure for typescript and flow

😴 Functional programming with lazy immutable iterables

The VBCorLib framework brings many of the powerful .NET classes to VB6.

Eff monad for cats - https://atnos-org.github.io/eff

🦋 Scala monads for javascript

Dive into Haskell: Examples of all features of this Pure Functional programing language

Stream Collections for Go. Inspired in Java 8 Streams and .NET Linq

Chainable promises for Qt

distributed dataflows with functional list operations for data processing with C++14

Powerfull Collections, Sets, Lists and Maps.

A library that simplifies error handling for Functional Programming in Java

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

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

A curated list of awesome singer official portals. Live Website ➡️

A data access library for Scala + Postgres.

A collection library for php

Innovative and practical general-purpose multi-paradigm language

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.

A robust option type for C#

Arctos is a museum collections management system

Assorted functional-oriented data structures and algorithms for Java.

v2ex收藏搜索

Kickstarter for Android. Bring new ideas to life, anywhere.

Functional collections extension functions for Python

Scala FP configuration library with a focus on runtime clarity

Scala library for nice business logic oriented, for-comprehension-style error handling

Modify deeply nested case class fields

A Collection of major Jetpack compose UI components which are commonly used.🎉🔝👌

📗Introduce you amazing Windows apps🕶READ ONLINE 👉

λΠ Programming Language Theory

A reactive programming library for JavaScript.

FunctionalRx is a collection of constructs to simplify a functional programming approach to Java and [STABLE]

Higher-order functions for c++

Immutable persistent collections for Kotlin

Stack allocated and type-erased functors 🐜

Category theory in the context of (functional) programming

A Programming Language for Deep Learning

A Collections library for PHP.