- lambda-calculator VS kleene
- lambda-calculator VS equational-reasoning
- lambda-calculator VS moving-averages
- lambda-calculator VS gamma
- lambda-calculator VS hsignal
- lambda-calculator VS Xorshift128Plus
- lambda-calculator VS ms
- lambda-calculator VS tower
- lambda-calculator VS noether
- lambda-calculator VS linearEqSolver
Lambda-calculator Alternatives
Similar projects and alternatives to lambda-calculator
-
-
equational-reasoning
Agda-style equational reasoning in Haskell
-
WorkOS
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.
-
gamma
Haskell implementation of gamma and incomplete gamma functions (by mokus0)
-
-
Xorshift128Plus
Pure haskell implementation of xorshift128plus random number generator
-
-
InfluxDB
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.
-
tower
Discontinued Deprecated in favour of https://github.com/tonyday567/numhask (by archive567)
-
noether
Discontinued Highly polymorphic algebraic structures with custom deriving strategies (by evertedsphere)
-
linearEqSolver
Solve systems of linear equations, using SMT solvers.
lambda-calculator reviews and mentions
We haven't tracked posts mentioning lambda-calculator yet.
Tracking mentions began in Dec 2020.
Stats
sgillespie/lambda-calculus is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of lambda-calculator is Haskell.