SaaSHub helps you find the best software and product alternatives Learn more →
Lambda-calculus-hs Alternatives
Similar projects and alternatives to lambda-calculus-hs
-
Home Assistant
:house_with_garden: Open source home automation that puts local control and privacy first.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
imgproxy
Fast and secure standalone server for resizing, processing, and converting images on the fly
-
-
-
swift-nio
Event-driven network application framework for high performance protocol servers & clients, non-blocking.
-
-
-
blastem
Upstream tracking repo of BlastEm, the fast and accurate Genesis emulator, with libretro specific changes
-
windows-logon-session-evtx-parser
PowerShell script for parsing login sessions from the Windows Security event log
-
-
americium
Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test case and a way of reproducing the failure immediately.
-
-
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-hs alternative or higher similarity.
lambda-calculus-hs discussion
lambda-calculus-hs reviews and mentions
Posts with mentions or reviews of lambda-calculus-hs.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2026-06-14.
-
Ask HN: What are you working on? (June 2026)
Messing around with my Lambda Calculus tutorial repo. I just did a total rewrite of Nominal Inductive Types.
https://github.com/solomon-b/lambda-calculus-hs
- Single file Lambda Calculus' demonstrating various type system features
- Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
-
How to implement dependent type theory I (2012)
I've noticed amongst many peers that when going down the type theory/pl theory journey there is a ton of hidden knowledge and context we all find ourselves collecting.
All of this knowledge and context spread amongst a common set of books, papers, blog posts, and git repos floating around the internet.
At the risk of creating yet another partial silo, I decided earlier this year to create a project similar to the [Elaboration Zoo](https://github.com/AndrasKovacs/elaboration-zoo) but focused on a blessed path to MLTT with a number of the desirable language features via bidirectional typechecking.
https://github.com/solomon-b/lambda-calculus-hs
The project is incomplete and my end goal is a website like the [1 Lab](https://1lab.dev) but focused on Type Theory and PL Theory, but I ran low on steam and could use some collaborators.
-
A note from our sponsor - SaaSHub
www.saashub.com | 11 Jul 2026
Stats
Basic lambda-calculus-hs repo stats
4
77
8.0
8 days ago
solomon-b/lambda-calculus-hs is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of lambda-calculus-hs is Haskell.
Popular Comparisons
- lambda-calculus-hs VS lamda_calculus_formalizations
- lambda-calculus-hs VS wsp-wordpress-mcp
- lambda-calculus-hs VS elaboration-zoo
- lambda-calculus-hs VS windows-logon-session-evtx-parser
- lambda-calculus-hs VS americium
- lambda-calculus-hs VS legate
- lambda-calculus-hs VS csson
- lambda-calculus-hs VS effective-html
- lambda-calculus-hs VS lightspeed
- lambda-calculus-hs VS plannotator
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com