← 최신 프로덕트

Programming with Pure Lambda Calculus

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

bruijn.marvinborner.de 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  2. B-IR

    github.com

    An LLM-optimized programming language

    Hacker News62점

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

    github.com

    A modern shell with functional programming synatx.

    Hacker News17점

  4. The Shark Programming Language

    github.com

    Hacker News107점

  5. Lambduck

    imjakingit.github.io

    a Functional Programming Brainfuck

    Hacker News70점