PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Bruijn

< >

Bruijn is a programming language created in 2022 by Marvin Borner.

#1813on PLDB

2Years Old

Download source code:

git clone https://github.com/marvinborner/bruijn

Homepage · Source Code · Docs

Functional programming language based on pure de Bruijn indexed lambda calculus. Lambdas all the way down. No primitive functions.

Tags: programming language, lisp
Bruijn compiles to Binary Lambda Calculus
Bruijn is written in Markdown, Haskell, Bourne shell, CSS, YAML, JavaScript, Vim script, Python, HTML, XML
First announcement of Bruijn

Example from the web:

pow [index (iterate (mul 0) (+1))]
…**… pow
:test ((+2) ** (+3) =? (+8)) (true)

Language features

Feature	Supported	Example	Token
Standard Library	✓

PLDB - Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v154.2.0