https://github.com/thaliaarchi/leafy
A fast implementation of the Leaf esoteric programming language
https://github.com/thaliaarchi/leafy
Last synced: 2 months ago
JSON representation
A fast implementation of the Leaf esoteric programming language
- Host: GitHub
- URL: https://github.com/thaliaarchi/leafy
- Owner: thaliaarchi
- License: mpl-2.0
- Created: 2023-07-05T09:08:19.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-04-06T07:11:10.000Z (about 1 year ago)
- Last Synced: 2025-01-25T10:08:30.991Z (4 months ago)
- Language: Rust
- Size: 43 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Leafy
A fast implementation of the Leaf esoteric programming language in Rust and a
self-interpreter.
[Leaf](https://github.com/CRogers/leaf) is a programming language, created by
Callum Rogers for the PLT Games December 2012 competition [“Into the Tarpit”](https://web.archive.org/web/20140910193725/http://www.pltgames.com/competition/2012/12).
It's oriented around a single binary tree and provides a small set of operations
for manipulating it. It's like Brainfuck in its simplicity, but instead of using
data on a linear tape, it uses data-less nodes in a binary tree with movable
roots. I think that Leaf is a hidden gem, that had since been forgotten, and I
hope that this project can revitalize it.
I've proven its Turing-completeness by devising a [correspondence](brainfuck.md)
between Leaf and Brainfuck and demonstrated its power by writing a
self-interpreter, [leaf.leaf](programs/leaf.leaf).
Leafy implements the central tree data structure as a vector of nodes,
referenced by indices, with a built-in free list. Since nodes are frequently
created and freed, this gives efficient allocation with good locality. The
technique was inspired by arenas for graphs.
To learn Leaf, read the original [tutorial](https://crogers.github.io/leaf/tutorial.html)
or try programs interactively in the [playground](https://crogers.github.io/leaf/default.htm).
Additionally, I've written a list of [idioms](idioms.md), that may be useful
when writing programs in Leaf. Note, however, that some of the programs here
will not run correctly in the original playground, because Leaf has some
implementation and semantics [bugs](differences.md). As such, I'd recommend
using [my fork of Leaf](https://github.com/thaliaarchi/leaf) and its
[playground](https://thaliaarchi.github.io/leaf/playground.html) or Leafy.