Search Results for "lambda calculus"
Sort By:
Showing 16 open source projects for "lambda calculus"
View related business solutions-
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
1
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes primary... -
2
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
3
LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).
-
4
toLambda
A small web application for learning lambda-calculus
An educational web application for experimenting with lambda-calculus and with the reduction strategies which are used in functional languages (OCaml, Scheme, Haskell). It includes the automatic translation of a subset of OCaml expressions into lambda-expressions. -
Get the most trusted enterprise browserDefend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
-
5
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
6
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
7
Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.
-
8
libmx
A framework for dealing with lambda calculus expressions.
"mx" is a command line test driver for "libmx" (see below) evaluating both the type and the value of an lambda calculus expression (http://en.wikipedia.org/wiki/Lambda_calculus) provided by the user. "libnpmx.so" ("npmx.dll" on MS Windows) is a NPAPI plugin (http://en.wikipedia.org/wiki/NPAPI) for the Mozilla Firefox web browser based on "libmx". "libmx" provides a framework for dealing with (extended and optional typed) lambda calculus expressions. Among other features it provides o... -
9
Lambda Droid
Lambda Calculus Interpreter for Android
A lambda calculus interpreter for android. -
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
10
LPIA
Programming language for artificial intelligence
LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth. -
11
My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.
-
12
LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.
-
13
-
14
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.
-
15
Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation.
-
16
This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.
- Previous
- You're on page 1
- Next
