functional-programming
Repositories (1340)
A dialect of TypeScript with value semantics.
Shopping Mall Backend Server made by NestJS + Prisma for Education
A Idle Strategy Game, developed by Godot + C# / F#。放置战略游戏，基于 Godot + C# / F# 实现
Readable and consistent C++ type introspection - Compiler Decipherer
Lambda Calculus things implemented on Python
Bologna Optimal Higher-Order Machine, Version 1.1
⚙ A Task/Future data type for JavaScript
A simple blog software written in Haskell
Make a lambda calculus.
🌟 Alkaid - 摇光 一只可以帮助你进行 Bukkit 插件开发的狼龙！A kemono wolf-dragon that can help you with Bukkit plugin development !
Make fastify functional! Plugin, adding support for fastify routes returning functional structures, such as Either, Task or plain parameterless functi...
A ZIO native cache with a simple and compositional interface
A curated list of ready-to-use (functional programming) array filters (TS / ESM / CJS)
:bug: Streams API Practices
Code samples for #monadicmonday topics
A New, Interactive Approach to Learning Java
Clojure examples for Kafka and Kafka Streams (JAVA Interop)
Master Higher Order Components with Functional Patterns Using Recompose
Function EXpression Language (interpreter for functional programs)
ZIO-powered client for AWS SQS
TiML: A Functional Programming Language with Time Complexity
Python clone of Ramda.js
The Egel Programming Language
Modules in R
λ Minimal Functional Programming Utilities for TypeScript & JavaScript
Idiomatic data access for F#
[WIP] A pure functional language that compiles to Dart.
FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
A reactive programming library for JavaScript.
Functional programming in Typescript
Algebraic Effects for Scala 3
Athena is a modern, practical language for proof engineering & natural deduction.
Rust types in Python. https://justforfunnoreally.dev/
Higher Kinded Type machinery for Java
Simple UI framework written in Reasonml.
Asynchronous data type with typed errors.
A category theory and functional programing library for Zig language
A fast, simple, purely functional language.
Algebraic effects for Ruby
Translate purrr functions into regular for loops
Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library
Code repository for Swift 3 Functional Programming, published by Packt
Learn how to use all the features of XState in combination with the power of Effect・Newsletter sandromaglione.com
Higher-kinded types, monads and composable effects for Java 25+: the Effect Path API for railway-style error handling, advanced optics (lens/prism/tra...
A inferno utility belt for function components and higher-order components
minimalist pure lazy functional programming language (pythonic haskell)
A Coq-based synthesis of Scala programs which are correct-by-construction
FP Challenges
Elixir–style pipes for Python