lambda-calculus
A lambda calculus interpreter that works on desktop and wasm (by nstoddard)
uom
Units of measurement -- type-safe zero-cost dimensional analysis (by iliekturtles)
lambda-calculus | uom | |
---|---|---|
1 | 27 | |
2 | 958 | |
- | - | |
0.0 | 6.9 | |
over 2 years ago | 3 days ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lambda-calculus
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-08-23.
-
What's everyone working on this week (34/2021)?
I'm working on a Lambda Calculus interpreter that compiles to WebAssembly. It uses Yew for the UI, and nom for parsing.
uom
Posts with mentions or reviews of uom.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-07-10.
- Units of measurement – type-safe zero-cost dimensional analysis
-
What's everyone working on this week (28/2023)?
uom (type-safe zero-cost dimensional analysis) v0.35.0 got released today!
-
What's everyone working on this week (6/2023)?
It happened! v0.34.0 (crates.io) has been released.
-
What's everyone working on this week (4/2023)?
My hope is to release uom (type-safe zero-cost dimensional analysis) v0.34.0 this week. There have been a huge number of new quantities and units added since v0.33.0.
-
What's everyone working on this week (36/2022)?
I have been reviewing lots of PRs recently submitted to add many new units and quantities to uom (type-safe zero-cost dimensional analysis).
-
What's everyone working on this week (31/2022)?
I reviewed some PRs to add new units to uom (type-safe zero-cost dimensional analysis) yesterday and am really hoping to make progress on logarithmic units this week. no_std support is slowing down the later.
-
What's everyone working on this week (30/2022)?
Working on a PR to uom (type-safe zero-cost dimensional analysis) to support logarithmic units.
-
Is RUST aiming to build an ecosystem on scientific computing?
A great type system enables things like unit preserving calculations and Formal Methods.
-
Survey of bad error messages emitted by the "misuse" of trait heavy crates
Is it the error messages, or other parts of uom that make it unwieldy to use? Feedback welcome here or as a new issue.
-
What's everyone working on this week (26/2022)?
I'm working through reviewing the open PRs for uom (type-safe zero-cost dimensional analysis).
What are some alternatives?
When comparing lambda-calculus and uom you can also consider the following projects:
xv6-riscv - Xv6 for RISC-V
rrs - Rust RISC-V Simulator
insect - High precision scientific calculator with support for physical units
serde - Serialization framework for Rust
onnx - Open standard for machine learning interoperability
xlite - Query Excel spredsheets (.xlsx, .xls, .ods) using SQLite
Ruby Units - A unit handling library for ruby
tab-rs - The intuitive, config-driven terminal multiplexer designed for software & systems engineers
augmented-audio - Rust - Augmented Audio Libraries
unix-v6 - UNIX 6th Edition Kernel Source Code
microbin - A secure, configurable file-sharing and URL shortening web app written in Rust.