What's everyone working on this week (34/2021)?

• uom

  27 955 7.3 Rust

  Units of measurement -- type-safe zero-cost dimensional analysis

I finally completed uom's (type-safe zero-cost dimensional analysis) upgrade to quickcheck 1.0. This ended up taking so much effort because quickcheck 1.0's random number generator has a much more diverse selection of numbers and found a number of floating point precision issues.

• rrs

  2 21 3.0 Rust

  Rust RISC-V Simulator

I'm implementing more of a RISC-V instruction set simulator I started a while ago: https://github.com/GregAC/rrs

• WorkOS

  workos.com sponsored

  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.

  

• xv6-riscv

  17 6,144 0.0 C

  Xv6 for RISC-V

  

I've got the basic 32-bit RISC-V ISA implemented (I and M for those who know RISC-V) and am now working on CSRs and exceptions. Following that I'll begin looking at page tables and such with the eventual goal of being able to boot an OS (probably https://github.com/mit-pdos/xv6-riscv first, then Linux).

• lambda-calculus

  1 2 0.0 Rust

  A lambda calculus interpreter that works on desktop and wasm (by nstoddard)

I'm working on a Lambda Calculus interpreter that compiles to WebAssembly. It uses Yew for the UI, and nom for parsing.

Suggest a related project