Blc
Binary Lambda Calculus VM and DSL on top of it
Install / Use
/learn @wedesoft/BlcREADME
blc
Author: Jan Wedekind Copyright: 2013 License: GPL
Synopsis
Binary Lambda Calculus virtual machine
Installation
This is how to build the project under GNU/Linux.
make -f Makefile.dist
./configure
make
Usage
...
Example
...
Testing
The tests can be run using the following command.
make test
See Also
External Links
- Binary lambda calculus interpreter by John Tromp
- De Bruijn index
- Maru: a metacircular s-expression evaluator and compiler (also see here)
- Nile Programming Language: Declarative Stream Processing for Media Applications
- Jitblt: Efficient Run-time Code Generation for Digital Compositing
- Church encoding
- Nokolisp
- Racket Programming Language
- Revised⁶ Report on the Algorithmic Language Scheme
- Scheme implemented in Python
- Lisp as the Maxwell’s equations of software (also see here)
- STEPS Toward Espressive Programming Systems, 2011 Progress Report
- Kivy cross platform UI
- Qemu open source processor emulator
- Fisher: Control Structures for Programming Languages
- Peck: Theory Time - A pure lambda-calculus foundation for prototype-based OOP
- Sitaram: Teach Yourself Scheme in Fixnum Days
- Filinski: Declarative Continuations and Categorical Duality
- Earley parser
- Aycock: Practical Earley Parsing
- Binary numbers
- Stuart - Programming with Nothing
- Pure OO system in Scheme
- Cello - Higher level programming in C
- Delimited Continuations
- Bauer: Programming with Algebraic Effects and Handlers
- Felleisen: The theory and practice of first-class prompts
Related Skills
node-connect
350.8kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
110.4kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
350.8kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
350.8kQQBot 富媒体收发能力。使用 <qqmedia> 标签,系统根据文件扩展名自动识别类型(图片/语音/视频/文件)。
