functional-programming

A New, Interactive Approach to Learning Java

🌟 Alkaid - 摇光 一只可以帮助你进行 Bukkit 插件开发的狼龙！A kemono wolf-dragon that can help you with Bukkit plugin development !

Make a lambda calculus.

Master Higher Order Components with Functional Patterns Using Recompose

A curated list of awesome functional programming jobs.

ZIO-powered client for AWS SQS

A simple blog software written in Haskell

A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)

Code samples for #monadicmonday topics

Python clone of Ramda.js

Clojure examples for Kafka and Kafka Streams (JAVA Interop)

Bologna Optimal Higher-Order Machine, Version 1.1

Idiomatic data access for F#

Function EXpression Language (interpreter for functional programs)

The Egel Programming Language

Modules in R

[WIP] A pure functional language that compiles to Dart.

λ Minimal Functional Programming Utilities for TypeScript & JavaScript

A reactive programming library for JavaScript.

A Idle Strategy Game, developed by Godot + C# / F#。放置战略游戏，基于 Godot + C# / F# 实现

Functional programming in Typescript

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

Asynchronous data type with typed errors.

Algebraic Effects for Scala 3

Rust types in Python. https://justforfunnoreally.dev/

Higher Kinded Type machinery for Java

Simple UI framework written in Reasonml.

Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library

TiML: A Functional Programming Language with Time Complexity

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

Compiler frontend for PureScript in Rust

Translate purrr functions into regular for loops

Algebraic effects for Ruby

FP Challenges

A inferno utility belt for function components and higher-order components

minimalist pure lazy functional programming language (pythonic haskell)

Code repository for Swift 3 Functional Programming, published by Packt

Athena is a modern, practical language for proof engineering & natural deduction.

Algebraic structures for untyped Racket

Documentation of Hamler

A presentation for BayHac 2017 on how I uses lenses at work

Elixir–style pipes for Python

Release the power in Java programming

Notas sobre JavaScript Full Stack

Type safe JSON decoder for TypeScript

Knowledge Base Of Scala Ukraine Group

Experimental library for currying in C++17

Carefully crafted library to operate with continuous streams of data in a reactive style with publish/subscribe, asyncio support and broker functional...