502 Open source projects that are alternatives of or similar to Naive_functional_programming

λΠ Programming Language Theory

Λrrow - Functional companion to Kotlin's Standard Library

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

Examples with Functional JavaScript, following Professor Frisby's course

Category theory in the context of (functional) programming

Categorical Query Language IDE

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

Functional programming great resources

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

A library for functional programming in Rust

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.

DDD sample implementation by Scala.

Compose multiple setState or getDerivedStateFromProps updaters in React

Easy way to create Free Monad using Scala macros with first-class Intellij support.

Facebook's React on Scala.JS

Patoline typesetting system

A curated list of awesome things related to functional programming in Python.

Testing framework for Purescript

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

Pointless: a scripting language for learning and fun

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

Functional programming in Java

🐆 An immutable list with unmatched performance and a comprehensive functional API.

A Python stream processing engine modeled after Yahoo! Pipes

Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

⚡ Pattern Matching in Typescript

Functional 3D Webgl Editor

Scala Test-State.

A simple visual editor for creating commutative diagrams.

A computational algebra system in Smalltalk.

constexpr C++17 library for simplifying higher order functions in application code

Aardvark is an open-source platform for visual computing, real-time graphics and visualization. This repository is the basis for most platform libraries and provides basic functionality such as data-structures, math and much more.

Javascript Generalized Parser Combinators

A modern commutative diagram editor for the web.

A suite of composable utility components to manipulate collections.

A functional and reactive JavaScript framework for predictable code

A powerful caching library for Python, with TTL support and multiple algorithm options.

Stream API from Java 8 rewritten on iterators for Java 7 and below

Scala FP configuration library with a focus on runtime clarity

thoughts on programming

⛪️ Church Encoding in JS

Probabilistic deep learning for data streams.

Functional style JSON parsing in Kotlin

Write small programs (eg -algorithms) in a functional way.

An STM implementation for Cats Effect

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

GRIN backend for GHC

List of resources about foundational knowledge for programmers (supposed to last a few decades)

Event sourcing for Akka Streams

Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library

Typesafe, purely functional Computational Intelligence

Functional DevOps with Scala and Kubernetes

A library that simplifies error handling for Functional Programming in Java

Data grids in functional style with ReactJS

Scala and Akka for kids. A Functional Programming approach for the well known LOGO.

A modern proof language

Java 8 Guides and Tutorials - A lot of awesome examples using Java 8 features like Stream, Lambda, Functional Interface, Date and Time API and much more

Transform and compose tagless final encoded algebras in scala

🐦 Some combinators