Purely Functional and high-order cloud components with AWS CDK

FunctionalScript is a safe purely functional subset of JavaScript

a portable, powerful and pure functional JSON library for Scheme

A type safe, purely functional configuration library for Scala

My solutions for the exercises presented in Graham Hutton's Programming in Haskell.

MIRROR of https://codeberg.org/catseye/Robin : A Scheme-like language where both functions and macros are defined in terms of fexprs

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

Noise protocols based on Diffie-Hellman key agreement

E-Lesson system - functional DDD showcase

Introduction into functional programming free structures: free monads, free monoids, free applicatives.

Introduction to tagless final with cats and to http4s middleware.

Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS

Cats-effect Scala wrappers over Amazon's AWS Java SDK

Pure containers using Bubblewrap and IPFS

An extensible, purely functional Lisp dialect.

Proof that C++ templates are effectively a pure functional programming language

A Language based on Lambda (λ) Calculus which transpiles to F#

Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.

Functional Programming Practice Exercises

Contains solutions to all of the exercises in and some scripts related to the book: Hutton, G. — Programming in Haskell (2nd ed.)