Top 23 lambda-calculu Open-Source Projects

• Kind

  4 3,456 4.8 Rust

  A next-gen functional language (by HigherOrderCO)

  

Project mention: Kind: A lambda-calculus based pure programming language | news.ycombinator.com | 2023-11-27

• write-you-a-haskell

  4 3,304 0.0 Haskell

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

Project mention: A decade of developing a programming language | news.ycombinator.com | 2023-11-14

I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• fp-core.rs

  2 1,296 0.0 Rust

  A library for functional programming in Rust

Project mention: Is Scala worth learning in 2023? | /r/scala | 2023-06-29

Learn something that pays the bill first - nowadays it's Golang/Rust react/typescript. Then you can try some pure fp libs like fp-ts and fp-core.rs, and look through existing scala cats docs. If you'll feel bad about it - that's totally fine and expectable, fp takes a paradigm shift and not that many dev able to shift their brains way of thought due to basic psychological rigidity) (inability to change habits and to modify concepts/attitudes once developed). And that's purely a staffing and management issue - folks hired randoms out of the blue, and called 'em a team.

• lambdalisp

  3 219 4.4 Common Lisp

  A Lisp interpreter written in untyped lambda calculus

• cognate

  5 204 7.2 C

  A human readable quasi-concatenative programming language

  

Project mention: Uiua: A minimal stack-based, array-based language | news.ycombinator.com | 2023-09-27

Reminds me a bit of Cognate(https://github.com/cognate-lang/cognate/blob/master/INTRODUC...)

Think I would like Uiua more if it require a space between terms. It wouldn’t be quite as tacit but it would be easier to read and more flexible — you could multi-symbol operators.

• elsa

  0 180 2.9 Haskell

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

  

• lambda-calculator

  0 88 3.8 Haskell

  An introduction to the Lambda Calculus

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• birb

  1 79 6.8 Haskell

  :bird: *cheep cheep shriek caw*

Project mention: Birb: Programming with bird emojis | /r/esolangs | 2023-09-14

Implementation

• mikrokosmos

  0 68 0.0 Haskell

  (λ) Educational lambda calculus interpreter

• salt

  1 62 0.0 Haskell

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

  

• rlci

  1 57 7.6 Rust

  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

  

Project mention: rlci: Overly-documented Rust-powered Lambda Calculus Interpreter. A real programming language in just a bit of code and way too many comments. | /r/rust | 2023-06-19

• meta-cedille

  1 54 7.5 Agda

  Minimalistic dependent type theory with syntactic metaprogramming

• ltext

  0 36 7.2 Haskell

  λtext - higher-order file applicator

  

• clique

  6 26 9.7 TypeScript

  My language practices :)

  

• lambdacraft

  1 21 10.0 Common Lisp

  Common Lisp DSL for building untyped lambda calculus expressions

• lambda-fibonacci

  2 19 0.0 JavaScript

  js lambda calculus implementation of the fibonacci sequence

• typeless

  4 17 10.0 Ruby

  an interpreter for λ-calculus implemented in ruby (by gurbaaz27)

• StepULC

  1 15 0.0 Haskell

  Efficient and single-steppable ULC evaluation algorithm

• lambda-calculus-devkit

  1 14 10.0 Makefile

  A collection of lambda calculus interpreters and development tools

• Lambda-Calculus

  4 13 0.0 F#

  A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime (by Demuirgos)

• compiler-web-service

  1 6 9.0 Common Lisp

  a common lisp web service with two compilers as api endpoints

• lambda

  1 4 5.3 Rust

  λ-calculus parser made by rust (by notJoon)

• sloe

  1 3 1.8 Haskell

  Simple purely functional language based on lambda-calculus.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

lambda-calculus related posts

• Kind: A lambda-calculus based pure programming language

  1 project | news.ycombinator.com | 27 Nov 2023

• Can one use lambda calculus as an IR?

  3 projects | /r/Compilers | 6 Jun 2023

• Discussion Thread

  2 projects | /r/neoliberal | 24 Apr 2023

• First (1/5) steps with HVM, A massively parallel, optimal functional runtime in Rust

  4 projects | /r/rust | 17 Mar 2023

• Lambdalisp: A Lisp interpreter written in untyped lambda calculus

  1 project | news.ycombinator.com | 16 Mar 2023

• Eliezer Yudkowsky has great news: "Parents conceiving today may have a fair chance of their kids living to see kindergarten."

  1 project | /r/singularity | 8 Dec 2022

• meet typeless, an interpreter for λ-calculus implemented in ruby

  1 project | /r/compsci | 28 Nov 2022
• A note from our sponsor - SaaSHub
  www.saashub.com | 7 May 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com