🦄🌈🍄 algebraic style composition for functional UIs
Type-safe, statically checked composition of HTTP servers
Discriminated unions, pattern matching and partial applications for C#
Recursive descent parsing library for Python based on functional combinators
Rich Hickey Fanclub
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
Type-safe, functional string formatting in Swift.
Never: statically typed, embeddable functional programming language.
A static single-page application resume-builder developed using React.js and JSON Resume schema (https://suddi.io/)
🥃 Functional Algebraic Data Types
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
⚡️ λ PHP functional library focused on simplicity and performance
Library of utilities for tagless final encoded algebras
A tiny, fast, unopinionated handler for updating JS objects and arrays immutably
Either and Maybe monads for better error-handling in C++ ↔️
🧮 A research programming language on top of C macros
A porting to TypeScript featuring fp-ts, rxjs6 and React
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Simple, expressive & portable programming language for efficient scripting
A fancy and practical functional tools
🚀Functional, High performance 3D Webgl Engine
💊 steroids for Xcode Playgrounds
Fast & Functional logger in Scala
Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofit.com/books/
The Eta Programming Language, a dialect of Haskell on the JVM
Dead simple React state management to bring pure components alive
A (more or less) one page introduction to Nix, the language.
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Immutable and Memory-Efficient Maps and Sets in Go
🎱 Composable, transformable, controllable randomness.
A high-performance, purely-functional library for building, composing, and supervising typed actors based on ZIO
Scala 2 compiler and standard library. For bugs, see scala/bug
C backend for PureScript
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Purely Functional Transaction Management In Scala With ZIO
Pleasant, yet principled Scala optics DSL
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Categorical Query Language IDE
A python-ish pure and total functional programming language
Standard ML Compiler and Toolkit