← Latest products

Programming with Pure Lambda Calculus

Functional programming language based on pure de Bruijn indexed lambda calculus.

Visit bruijn.marvinborner.deexternal site

Reactions (1)

Similar products

by description similarity

  1. Katharos Functional programming and CSP-style concurrency for Python

    github.com

    A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values.

    Hacker News37 pts

  2. B-IR

    github.com

    An LLM-optimized programming language

    Hacker News62 pts

  3. Orbit a systems level programming language that compiles .sh to LLVM

    github.com

    A modern shell with functional programming synatx.

    Hacker News17 pts

  4. The Shark Programming Language

    github.com

    Hacker News107 pts

  5. Lambduck

    imjakingit.github.io

    a Functional Programming Brainfuck

    Hacker News70 pts