lambda
Lambda calculator
An implementation of lambda calculus using interaction nets, providing a CLI and API.
Macro Lambda Calculus
45 stars
8 watching
3 forks
Language: JavaScript
last commit: almost 6 years ago interaction-netslambda-calculus
Related projects:
| Repository | Description | Stars |
|---|---|---|
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 pi8027/lambda-calculus | A formalization of typed and untyped lambda calculus in Coq and Agda2, aiming to provide a rigorous foundation for understanding the properties of these systems. | 78 |
 codekult/adventures-of-lambda-in-js | A curated list of resources to learn Functional Programming in JavaScript | 16 |
 metadelta/mdlt | A command-line utility for performing arithmetic and symbolic math operations. | 178 |
 probablykasper/cpc | A high-accuracy calculator that supports unit conversions and string parsing. | 135 |
 galculator/galculator | A scientific calculator with advanced formula entry capabilities | 124 |
 kde/kcalc | A high-level calculator with scientific capabilities and advanced features. | 36 |
 xxczaki/elcalc | A simple calculator application with basic arithmetic functionality | 2 |
 alt-romes/programmer-calculator | A terminal calculator designed to support multiple number representations and arithmetic operations with customizable operand sizes. | 552 |
 lambdabot/lambdabot | An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support. | 164 |
 nblumhardt/tcalc | A C# parser implementation using Superpower for a simple calculation language | 38 |
 qalculate/libqalculate | A multi-purpose desktop calculator with advanced mathematical and conversion capabilities | 1,913 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 cbaggers/fn | A set of macros and functions to simplify the use of lambda in Common Lisp by adding implicit arguments. | 25 |