japaric-archived / posit
A Rust implementation of the posit number system
☆33Updated 6 years ago
Alternatives and similar repositories for posit:
Users that are interested in posit are comparing it to the libraries listed below
- Deprecated in favor of the libm crate.☆29Updated 6 years ago
- (More or less) accurate floating point algorithms☆57Updated 8 months ago
- Implementation of libm in rust☆34Updated 7 years ago
- Portable high-level bitwise manipulation algorithms☆50Updated 3 years ago
- The LLHD reference simulator.☆37Updated 4 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- A nicer HDL.☆96Updated 7 years ago
- Put a program in your program, so you can program while you program.☆45Updated 9 years ago
- Arbitrary precision floating point in Rust☆19Updated 9 years ago
- An experimental RISC-V port of Rust☆19Updated 7 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- A Rust crate containing a set of types for building complex binary streams.☆10Updated 3 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 7 years ago
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆44Updated last year
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 8 years ago
- Renders interactive fractal-like animations☆19Updated 7 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 6 years ago
- Rust (MIR) → SPIR-V (Shader) compiler☆56Updated 7 years ago
- Fixed Point Arithmetic☆30Updated 5 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆52Updated 3 years ago
- Verification working group☆104Updated 6 years ago
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆43Updated 3 years ago
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- ☆25Updated 9 years ago
- A procedural macro to generate bitfield-like stuct☆29Updated 7 years ago
- ☆13Updated 8 years ago
- rust verification condition generator☆96Updated 8 years ago
- A compiler from Rust to C, and a checker for unsafe code☆82Updated 5 years ago
- Rust task graph library☆15Updated 10 years ago