FlutterTrends.dev
⌘K
Sponsored by- The #1 Flutter-powered AI app builder
Home/Top/Utilities/lambda_calculus

lambda_calculus

v1.3.5 · released 2 years ago · BSD-3-CLAUSE License

First published 3 years ago.

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

View on pub.dev View source
#3099 in Utilities #22510 overall no release in 2 years androidioswindowslinuxmacosweb
Downloads / day
2
as of 2026-07-14
GitHub stars
2
★ refreshed weekly
Likes
2
on pub.dev
Pub points
160 / 160
perfect score

Repository health

Last commit
2 months ago
Commit activity
Open issues
0
Open PRs
0
Contributors
1
CI
GitHub Actions
License (repo)

Last refreshed 8 days ago.

License explained · BSD-3-Clause

BSD 3-Clause "New" License

Use freely, even commercially. Keep the notice. Don't use the author's name to endorse derived products without permission.

A permissive license similar to the BSD 2-Clause License, but with a 3rd clause that prohibits others from using the name of the copyright holder or its contributors to promote derived products without written consent.

You can

  • Commercial use
  • Distribution
  • Modification
  • Private use

You must

  • Include the license and copyright notice

The license does not

  • No liability
  • No warranty

Plain-English summary, not legal advice. Full text on SPDX or choosealicense.com. Summaries adapted from choosealicense.com (a GitHub project, MIT-licensed).

Commit activity, past 52 weeks

lambda_calculus

3 commits in the past year
Stable
5 3 0 52w ago36w ago18w agothis week
Weekly average
0.1 commits
Busiest week
2 commits, 7 weeks ago
Active weeks
2 of 52 (4%)
Longest quiet stretch
43 weeks with no commits

Weekly commits to the default branch on GitHub. Source: GET /stats/participation. Refreshed weekly. Excludes commits to other branches.

How lambda_calculus compares in Utilities

Top of the Utilities leaderboard, with lambda_calculus highlighted.

Rank Package Downloads / day Stars Likes
#1
uuid
🇩🇰 yuli.dev
428K ★ 457 2.7K
#2
meta
🇺🇸 dart.dev
425.3K ★ 11.2K 477
#3
archive
🇺🇸 loki3d.com
419.7K ★ 465 901
#4
built_value
🇺🇸 google.dev
419.3K ★ 885 780
#3099
lambda_calculus
 2 ★ 2 2