toLambda Files

A small web application for learning lambda-calculus

Status: Beta

Brought to you by: violard

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
o2l.js	2014-08-25	414.9 kB
index.html	2014-08-22	2.0 kB
Totals: 2 Items		416.9 kB

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB 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.

Start Free

Cloud-based help desk software with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free

Recommended Projects

Bref
Serverless PHP on AWS Lambda
BLESS
An SSH Certificate Authority that runs as an AWS Lambda function
Logicheck
An interactive tool to test logical structures and expressions
Merlin
Context sensitive completion for OCaml in Vim and Emacs
RE: a regexp library for OCaml
RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.