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

small, explicitly boring functional programming language compiling to rust

E-Lesson system - functional DDD showcase

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

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

Functional Programming Practice Exercises

Introduction to tagless final with cats and to http4s middleware.

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.

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

Introduction to GraphQL using pure functional approach: Scala, Caliban and ZIO.

Feature-rich sudoku application coded entirely in a Lisp-based, pure-functional language (Racket ISL).

:1234: An interpreter of "NUMEX", Number Expression pure functional programming language, built with Racket

MIRROR of https://codeberg.org/catseye/Lanthorn : Demonstration of how letrec can be syntactic sugar in a purely functional language

A TIS-100 emulator in Rust. TIS-100 is a fictive highly parallel computer architecture and instruciton set by Zachtronics.

Pure Functional Network Traffic Analyzer in Haskell - Maximum type safety and immutability

Tidal Experiments

No description provided.

Examples building up Monads from scratch (without Cats.... mostly)