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

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

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

Noise protocols based on Diffie-Hellman key agreement

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

E-Lesson system - functional DDD showcase

Introduction to tagless final with cats and to http4s middleware.

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

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

Pure containers using Bubblewrap and IPFS

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

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

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

An extensible, purely functional Lisp dialect.

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.)