lambda-calculus
A lambda calculus interpreter that works on desktop and wasm (by nstoddard)
rrs
Rust RISC-V Simulator (by GregAC)
lambda-calculus | rrs | |
---|---|---|
1 | 2 | |
2 | 21 | |
- | - | |
0.0 | 1.5 | |
over 2 years ago | 7 days ago | |
Rust | Rust | |
MIT License | GNU General Public License v3.0 or later |
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.
rrs
Posts with mentions or reviews of rrs.
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 implementing more of a RISC-V instruction set simulator I started a while ago: https://github.com/GregAC/rrs
-
I’m working on a Rust library to help learners of RISC-V, thought you folks may find it interesting!
I've been working on something along very similar lines https://github.com/GregAC/rrs (I should look into getting it on crates.io) had been planning a test system similar to yours though have yet to implement it.
What are some alternatives?
When comparing lambda-calculus and rrs you can also consider the following projects:
xv6-riscv - Xv6 for RISC-V
riscv-arch-test
uom - Units of measurement -- type-safe zero-cost dimensional analysis
crates.io - The Rust package registry
lib-rv32 - Rust library for emulating RISC-V rv32imac
yarve - RISC-V emulator in Rust