gtramontina / Lambda
Fun with λ calculus!
Stars: ✭ 65
Programming Languages
javascript
184084 projects - #8 most used programming language
es6
455 projects
Projects that are alternatives of or similar to Lambda
Hof
Higher-order functions for c++
Stars: ✭ 467 (+618.46%)
Mutual labels: lambda, functional-programming, functional
Plam
An interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+492.31%)
Mutual labels: lambda, lambda-calculus, functional-programming
Pampy.js
Pampy.js: Pattern Matching for JavaScript
Stars: ✭ 544 (+736.92%)
Mutual labels: functional-programming, functional
Functional Programming Learning Path
A Learning Path for Functional Programming
Stars: ✭ 582 (+795.38%)
Mutual labels: functional-programming, functional
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+1087.69%)
Mutual labels: lambda-calculus, functional-programming
Babel Plugin Partial Application
[DEPRECATED] Please use https://github.com/citycide/param.macro
Stars: ✭ 60 (-7.69%)
Mutual labels: lambda, functional
Moses
Utility library for functional programming in Lua
Stars: ✭ 541 (+732.31%)
Mutual labels: functional-programming, functional
Lambda
Functional patterns for Java
Stars: ✭ 737 (+1033.85%)
Mutual labels: lambda, functional-programming
Kotlin Result
A multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (+467.69%)
Mutual labels: functional-programming, functional
Immutable Tuple
Immutable finite list objects with constant-time equality testing (===) and no memory leaks.
Stars: ✭ 29 (-55.38%)
Mutual labels: functional-programming, functional
Aws Lambda Workshop
Some incremental examples suitable to host an AWS Lambda Functions workshop
Stars: ✭ 18 (-72.31%)
Mutual labels: lambda, lambda-calculus
Swiftlyext
SwiftlyExt is a collection of useful extensions for Swift 3 standard classes and types 🚀
Stars: ✭ 31 (-52.31%)
Mutual labels: functional-programming, functional
Yalinqo
Yet Another LINQ to Objects for PHP [Simplified BSD]
Stars: ✭ 400 (+515.38%)
Mutual labels: functional-programming, functional
Carp
Carp is a programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.
Stars: ✭ 4,389 (+6652.31%)
Mutual labels: functional-programming, functional
Inferno Most Fp Demo
A demo for the ReactJS Tampa Bay meetup showing how to build a React+Redux-like architecture from scratch using Inferno, Most.js, reactive programmning, and various functional programming tools & techniques
Stars: ✭ 45 (-30.77%)
Mutual labels: functional-programming, functional
Fkit
A functional programming toolkit for JavaScript.
Stars: ✭ 588 (+804.62%)
Mutual labels: functional-programming, functional
Lambda Talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (+384.62%)
Mutual labels: lambda-calculus, functional-programming
Magic In Ten Mins
十分钟魔法练习
Stars: ✭ 327 (+403.08%)
Mutual labels: lambda-calculus, functional-programming
Kaur
A bunch of helper functions to ease the development of your applications.
Stars: ✭ 17 (-73.85%)
Mutual labels: functional-programming, functional
Rexrex
🦖 Composable JavaScript regular expressions
Stars: ✭ 34 (-47.69%)
Mutual labels: functional-programming, functional
λ
Fun with Lambda Calculus in JS
Exploring:
$ node lambda.js
npm install
first):
Fiddling with it ($ npm test
Notes:
-
These are functions all the way, so expect your stack to grow real quick! 😄 You can increase it if you want with node's parameter
--stack-size=<n>
, as you can see in the test npm script. -
I cheated a bit when using named lambda abstractions (for the sake of readability)
References:
- Lambda Calculi, by Shane Steinert-Threlkeld
- Lambda Calculus - Wikipedia
- Church Encoding - Wikipedia
- Programming with Nothing, by @tomstuart
- Fun with the Lambda Calculus, by @coreyhaines
- Types and Programming Languages (chapter 5, "The Untyped Lambda-Calculus") , by Benjamin C. Pierce
I hope you enjoy reading it as much as I enjoyed doing it! ❤️ Perhaps you could add more examples…? 😄
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].