Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Javascript Lambda Calculus Open Source Projects

Open source projects categorized as Javascript Lambda Calculus
Categories > Mathematics > Lambda Calculus
Lambda ⭐ 287
🔮 Estudos obscuros de programação funcional
most recent commit 4 years ago
Lambda Talk ⭐ 246
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
most recent commit 5 years ago
Awesome Functional Studies ⭐ 143
A curated list of functional programming resources to study the fp paradigm
most recent commit 2 years ago
Combinators Js ⭐ 132
🐦 Some combinators
dependent packages 3total releases 14most recent commit 6 months agonpm combinators-js} Downloads
Church ⭐ 123
⛪ Church Encoding in JS
dependent packages 2total releases 17most recent commit 4 months agonpm church} Downloads
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369most recent commit 5 years agonpm formality-lang} Downloads
Sel ⭐ 72
A compiler for thin Symbolic Expressions abstraction layer over Lambda calculus.
most recent commit a year ago
Malc ⭐ 69
Make a lambda calculus.
most recent commit 3 years ago
Lambda ⭐ 65
Fun with λ calculus!
most recent commit 3 years ago
Lambda Explorer ⭐ 52
Tutorial / REPL for the lambda calculus
most recent commit 2 years ago
Lambdajs ⭐ 40
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
most recent commit 6 years ago
Js Church Encoding ⭐ 33
Church Encoding Implementation in JavaScript
most recent commit 2 years ago
Lambda ⭐ 31
Macro Lambda Calculus
dependent packages 2total releases 46most recent commit 5 years agonpm @alexo/lambda} Downloads
Typed Calc ⭐ 24
Interpreter for simply typed lambda calculus implemented in JavaScript λ
most recent commit 7 years ago
Aws Lambda Workshop ⭐ 19
Some incremental examples suitable to host an AWS Lambda Functions workshop
most recent commit 5 years ago
Lambda Fibonacci ⭐ 18
Implementation of the Fibonacci sequence in JS using pure Lambda Calculus
most recent commit 2 years ago
Lambda ⭐ 17
The Lambda Programming Language
dependent packages 3total releases 28most recent commit 7 years agonpm lambda} Downloads
Js Lambda ⭐ 15
DSL for lambda calculus
dependent packages 2total releases 2most recent commit 8 years agonpm js-lambda} Downloads
Quinegraphs ⭐ 13
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
most recent commit a year ago
Lamviz Js ⭐ 10
A visualiser for lambda terms as rooted maps.
most recent commit 2 years ago
Jupyter Mikrokosmos ⭐ 6
A Jupyter kernel for the Mikrokosmos lambda interpreter
total releases 9most recent commit 6 years ago
Lambda Calculus In Js ⭐ 6
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
most recent commit a year ago
Mikrokosmos Js ⭐ 6
Call Mikrokosmos from Javascript
most recent commit 6 years ago
The 7 Most Depended On Javascript Lambda Calculus Open Source Projects
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369latest release November 25, 2020most recent commit 5 years agonpm formality-lang} Downloads
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit 6 months agonpm combinators-js} Downloads
Lambda ⭐ 17
The Lambda Programming Language
dependent packages 3total releases 28latest release October 01, 2016most recent commit 7 years agonpm lambda} Downloads
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
Lambda ⭐ 31
Macro Lambda Calculus
dependent packages 2total releases 46latest release March 20, 2019most recent commit 5 years agonpm @alexo/lambda} Downloads
Malcjs ⭐ 5
Make a lambda calculus - npm package version for JavaScript
dependent packages 2total releases 8latest release November 15, 2020most recent commit 3 years agonpm malc} Downloads
Js Lambda ⭐ 15
DSL for lambda calculus
dependent packages 2total releases 2latest release April 04, 2013most recent commit 8 years agonpm js-lambda} Downloads
The 8 Latest Releases In Javascript Lambda Calculus Open Source Projects
Formality Javascript ⭐ 72
An implementation of the Formality language in JavaScript
dependent packages 8total releases 369latest release November 25, 2020most recent commit 5 years agonpm formality-lang} Downloads
Malcjs ⭐ 5
Make a lambda calculus - npm package version for JavaScript
dependent packages 2total releases 8latest release November 15, 2020most recent commit 3 years agonpm malc} Downloads
Church ⭐ 123
:church: Church Encoding in JS
dependent packages 2total releases 17latest release June 29, 2020most recent commit 4 months agonpm church} Downloads
Combinators Js ⭐ 132
:bird: Some combinators
dependent packages 3total releases 14latest release January 19, 2020most recent commit 6 months agonpm combinators-js} Downloads
Lambda ⭐ 31
Macro Lambda Calculus
dependent packages 2total releases 46latest release March 20, 2019most recent commit 5 years agonpm @alexo/lambda} Downloads
Jupyter Mikrokosmos ⭐ 6
A Jupyter kernel for the Mikrokosmos lambda interpreter
total releases 9latest release September 09, 2018most recent commit 6 years ago
Lambda ⭐ 17
The Lambda Programming Language
dependent packages 3total releases 28latest release October 01, 2016most recent commit 7 years agonpm lambda} Downloads
Js Lambda ⭐ 15
DSL for lambda calculus
dependent packages 2total releases 2latest release April 04, 2013most recent commit 8 years agonpm js-lambda} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.