A simple example of an interpreter in JS. Evaluates lambda calculus expressions.
☆15Apr 25, 2010Updated 16 years ago
Alternatives and similar repositories for lambdacalc
Users that are interested in lambdacalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides and code from my track B talk "Build Your Own Programming Language with JavaScript"☆24Apr 20, 2010Updated 16 years ago
- Docker container for running D compilers☆10Sep 1, 2023Updated 2 years ago
- Mastering Bash, published by Packt☆19Jan 30, 2023Updated 3 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 17 years ago
- backs up everything github knows about a repository, to the repository☆13Feb 15, 2012Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Arc compatible package☆15Nov 24, 2023Updated 2 years ago
- Cisco NX-OS API client library written in Go.☆23Dec 5, 2025Updated 8 months ago
- Directions is a configurable template for providing turn by turn directions to features within a layer or a specific destination.☆12Dec 17, 2020Updated 5 years ago
- Implementation of Mozilla's Parser API in JavaScript☆111Jun 27, 2012Updated 14 years ago
- A collection of specs for clojure.core☆14Nov 22, 2017Updated 8 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- Simple middleware for defining and applying rewrite rules. Inspired by rack-rewrite.☆15Nov 28, 2014Updated 11 years ago
- Component search application powered by Express and Redis☆15Sep 27, 2014Updated 11 years ago
- Small portable regex in C (cbmc verified, and extended)☆13Jun 6, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [DEPRECATED] A starter kit with React, Redux and Parse.☆14Nov 28, 2016Updated 9 years ago
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆19Jun 21, 2023Updated 3 years ago
- An implementation of the Hindley-Milner type system in Rust.☆42Jan 2, 2017Updated 9 years ago
- Natively building Lua with any compiler on any platform☆10Feb 5, 2023Updated 3 years ago
- Chibi-Scheme Raylib Bindings☆14Feb 4, 2020Updated 6 years ago
- Multifont GFX library for IDE, adapted from Adafruit_GFX library☆12Jan 19, 2020Updated 6 years ago
- Static analysis tools for ES6☆16Oct 6, 2013Updated 12 years ago
- BrowserID C library☆18Nov 16, 2019Updated 6 years ago
- Repository for the next generation of vibe.d's core package.☆64Aug 14, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bitcoin full node as a C Programming Language library☆10Dec 3, 2025Updated 8 months ago
- ArcGIS GeoEvent Server sample MongoDB Connector for storing GeoEvents.☆14Sep 16, 2022Updated 3 years ago
- library for creating minecraft levels and commands☆13Apr 3, 2021Updated 5 years ago
- "From Zero to Hero" Example☆13Mar 9, 2016Updated 10 years ago
- Kontrol is a small web framework written in Ruby, which runs directly on Rack.☆19Jan 26, 2013Updated 13 years ago
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- A programming language.☆13Aug 4, 2025Updated last year
- FUSE driver for the Riak NoSQL database☆18Mar 23, 2010Updated 16 years ago
- Orange C Compiler IDE☆16Mar 22, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- a portable code walker for Common Lisp by John Fremlin☆14May 19, 2016Updated 10 years ago
- cat will read the contents of an url☆13Oct 21, 2021Updated 4 years ago
- secure-random provides a cryptographically secure pseudo-random number generator for Common Lisp.☆17Jan 7, 2016Updated 10 years ago
- A small lib for annotating Clojure code with todos☆17Dec 13, 2017Updated 8 years ago
- i440fx BIOS source code intended for Bochs☆20Aug 18, 2026Updated last week
- DEPRECATED - Experimental support for a Social API in Firefox☆37Mar 28, 2019Updated 7 years ago