Lambda-Calculus Alternatives

Similar projects and alternatives to Lambda-Calculus

Zelda1RandoTools

8 13 9.1 F# Lambda-Calculus VS Zelda1RandoTools

tools for zelda 1 randomizer
Perla

7 132 8.2 F# Lambda-Calculus VS Perla

A cross-platform tool for unbundled front-end development that doesn't depend on Node or requires you to install a complex toolchain
InfluxDB

www.influxdata.com sponsored

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.
WebFrame

5 104 1.8 F# Lambda-Calculus VS WebFrame

F# framework for rapid prototyping with ASP.NET Core.
kensaku

1 2 0.0 F# Lambda-Calculus VS kensaku

Quick and easy search for Japanese kanji, radicals, and words
LambdaCalculusFSharp

4 29 2.6 F# Lambda-Calculus VS LambdaCalculusFSharp

λ calculus library made purely in and for F#
financial-sharp

3 20 0.0 F# Lambda-Calculus VS financial-sharp

💹 Collection of elementary financial functions
Skid

1 5 0.0 F# Lambda-Calculus VS Skid

Simple, single-file portable CLI utility for configuration templating (by Meyhem)
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
fsharp_godot_example

1 20 0.0 F# Lambda-Calculus VS fsharp_godot_example

A somewhat simple example project for using F# with Godot.
MongoDB.FSharp

1 1 0.0 F# Lambda-Calculus VS MongoDB.FSharp

Silent utilities to make the official MongoDB driver feel natural to work with in F#
fsdoctor

2 1 0.0 F# Lambda-Calculus VS fsdoctor

Easily add docs to FSharp.Core
FormallySharp

1 3 0.0 F# Lambda-Calculus VS FormallySharp

Online formal language designer
Diffract

1 47 3.8 F# Lambda-Calculus VS Diffract

A .NET library to perform structural diff between two objects
Casgliad.Data

1 2 5.5 F# Lambda-Calculus VS Casgliad.Data

Kanren-style deductive database DSL for F#.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Lambda-Calculus alternative or higher similarity.

Suggest an alternative to Lambda-Calculus

Lambda-Calculus reviews and mentions

Posts with mentions or reviews of Lambda-Calculus. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-01.

What are you working on? (2022-09)
1 project | /r/fsharp | 1 Sep 2022

Working on applying type theory basics on my lambda calculus based language, (currently added types, and thinking abt adding generics over types). Git repo : LambdaCalculus
What are you working on? (2021-12)
8 projects | /r/fsharp | 1 Dec 2021

I'm trying to make a simple Prototype language that gets transpiled to Lambda-Calc primitives, here is the project repo Project Repo, It works for simple stuff but still needs a lot of work
What are you working on? (2021-11)
5 projects | /r/fsharp | 1 Nov 2021

I just finished working on a Lambda-Calculus based project where I remade FParsec from scratch and using it I built an interpreter for Lambdas, and added a minimal ML like abstraction over it to allow for easy definition of terms, here is the repo Lambda-Calculus-Repo
What are you working on? (2021-03)
4 projects | /r/fsharp | 1 Mar 2021

I'm trying to add an ML like abstraction to this lambda-calc project https://github.com/DemuirGos/Lambda-Calculus next thing will be attempting some blockchain projects
A note from our sponsor - InfluxDB
www.influxdata.com | 27 Apr 2024

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. Learn more →