Haskell lambda-calculus

Open-source Haskell projects categorized as lambda-calculus
Edit details
Haskell Functional programming Language Compiler Interpreter
Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
sevalla.com
featured

Top 10 Haskell lambda-calculu Projects

lambda-calculus

  1. Kind

    A modern proof language (by HigherOrderCO)

  2. Sevalla

    Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

    Sevalla logo

  3. write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  4. elsa

    Elsa is a lambda calculus evaluator (by ucsd-progsys)

  5. birb

    :bird: *cheep cheep shriek caw*

  6. lambda-calculator

    An introduction to the Lambda Calculus

  7. mikrokosmos

    (λ) Educational lambda calculus interpreter

  8. salt

    The compilation target that functional programmers always wanted. (by discus-lang)

  9. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  10. ltext

    λtext - higher-order file applicator

  11. StepULC

    Efficient and single-steppable ULC evaluation algorithm

  12. sloe

    Simple purely functional language based on lambda-calculus.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell lambda-calculus discussion

Log in or Post with

Haskell lambda-calculus related posts

  • Birb: Programming with Bird Emojis

    1 project | news.ycombinator.com | 13 Jul 2024

  • Type inference of letrec in Algorithm W

    3 projects | /r/haskell | 10 May 2022

  • [Kind-Lang] Getters and Setters done right in a pure functional language

    3 projects | /r/programming | 17 Oct 2021

  • My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick

    6 projects | /r/ethereum | 4 Jun 2021

  • StepULC: Efficient and single-steppable ULC (untyped lambda calculus) evaluation algorithm

    3 projects | /r/haskell | 23 May 2021
  • A note from our sponsor - Sevalla
    sevalla.com | 1 Sep 2025
    Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more! Learn more →

Index

What are some of the best open-source lambda-calculu projects in Haskell? This list will help you:

# Project Stars
1 Kind 3,692
2 write-you-a-haskell 3,391
3 elsa 187
4 birb 93
5 lambda-calculator 91
6 mikrokosmos 72
7 salt 62
8 ltext 36
9 StepULC 15
10 sloe 3

Sponsored
Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
sevalla.com
Loading...