lambda
by codedot
Macro Lambda Calculus
AI summary
Lambda calculator
An implementation of lambda calculus using interaction nets, providing a CLI and API.
- stars
- 45
- forks
- 3
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Lambda calculus framework
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.
FP tutorial
A curated list of resources to learn Functional Programming in JavaScript
Math calculator
A command-line utility for performing arithmetic and symbolic math operations.
Calculator
A high-accuracy calculator that supports unit conversions and string parsing.
Calculator
A scientific calculator with advanced formula entry capabilities
Calculator
A high-level calculator with scientific capabilities and advanced features.
Calculator app
A simple calculator application with basic arithmetic functionality
Calculator
A terminal calculator designed to support multiple number representations and arithmetic operations with customizable operand sizes.
Coding assistant
An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support.
Calc parser
A C# parser implementation using Superpower for a simple calculation language
Calculator
A multi-purpose desktop calculator with advanced mathematical and conversion capabilities
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Lambda helpers
A set of macros and functions to simplify the use of lambda in Common Lisp by adding implicit arguments.
