← Latest products

AttaLambda

a language where types and data are made of untyped lambdas. AttaLambda is a small language built on pure, untyped lambda calculus, with readable syntax, exact rational numbers, and runtime type checks. I made a programming language!

Visit attalambda.comexternal site

Reactions (1)

Similar products

by description similarity

  1. A small programming language where everything is pass-by-value

    github.com

    A simple interpreted programming language where everything is pass-by-value

    Hacker News91 pts

  2. I created a language called AntiLang

    siruscodes.github.io

    breaking all the conventions

    Hacker News143 pts

  3. Minimal DL library in C

    github.com

    24 NAIVE CUDA/CPU ops, autodiff, Python API

    Hacker News13 pts

  4. Axe

    axelang.org

    A Systems Programming Language with Builtin Parallelism and No GC

    Hacker News16 pts

  5. DSLCad

    github.com

    a programming language and interpreter for building 3D models

    Hacker News198 pts