494 Open source projects that are alternatives of or similar to Y Combinator For Non Programmers

lambda calculus interpreter

Library containing useful tools for Java 8

Learn Kotlin programming from scratch

Macro Lambda Calculus

A toy xmonad

Minimalistic dependent type theory with syntactic metaprogramming

A Coq-based synthesis of Scala programs which are correct-by-construction

An inference engine for extensional untyped λ-calculus

Composable Functional Programming in R

An interactive theorem prover based on lambda-tree syntax

Functional programming in Java

A minimalist pure lazy functional programming language

Serverless AWS Lambda with Node.js,Postgres Rest API with Sequelize.

Bologna Optimal Higher-Order Machine, Version 1.1

Purely functional genetic algorithms for multi-objective optimisation

RxSwift를 스터디하는 공간

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Functional programming tools for the shell

⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go

theseus, functional programming language with fully reversible computation

A statically-typed, functional typesetting system

Type-safe, statically checked composition of HTTP servers

Code that accompanies the series

The Official Shen Sources

The Egison Programming Language

"every time I watch one of his talks I feel like someone has gone in and organized my brain"

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

Never: statically typed, embeddable functional programming language.

java port of Underscore.js

🥃 Functional Algebraic Data Types

A BASIC-flavored Lisp dialect

⚡️ λ PHP functional library focused on simplicity and performance

Functional patterns for Java

Library of utilities for tagless final encoded algebras

Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.

A tiny, fast, unopinionated handler for updating JS objects and arrays immutably

Expressive types for Spark.

Functional programming in bash

Algebraic structures for untyped Racket

A porting to TypeScript featuring fp-ts, rxjs6 and React

Specification for common algebraic structures in JavaScript based on Fantasy Land

Practice, thinking and reading

Event sourcing for Akka Streams

Jargon from the functional programming world in simple terms!

The MLton repository

A fancy and practical functional tools

Experimental library for currying in C++17

💊 steroids for Xcode Playgrounds

Functional optics: a (partial) porting of Scala monocle

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/

Algebraic data types in Common Lisp

A cohesive & pragmatic framework of FP centric Scala libraries

A powerful caching library for Python, with TTL support and multiple algorithm options.

Scala FP configuration library with a focus on runtime clarity

Functional style JSON parsing in Kotlin

Transform and compose tagless final encoded algebras in scala

A PureScript, browser-based implementation of LDA topic modeling.

Functional, composable, asynchronous, type-safe Python.

🎼 A library for function composition.

Functional programming in Swift