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
- Implementation of libm in rust☆34Updated 7 years ago
- Deprecated in favor of the libm crate.☆29Updated 6 years ago
- (More or less) accurate floating point algorithms☆57Updated 9 months ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- A Rust crate containing a set of types for building complex binary streams.☆10Updated 3 years ago
- Rust (MIR) → SPIR-V (Shader) compiler☆58Updated 7 years ago
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- Arbitrary precision floating point in Rust☆19Updated 9 years ago
- rust verification condition generator☆96Updated 8 years ago
- [DEPRECATED] see:☆81Updated 8 years ago
- Coordination repository of the portability Working Group (WG)☆42Updated 3 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 7 years ago
- Renders interactive fractal-like animations☆19Updated 7 years ago
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 8 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
- Tool to print stack usage information emitted by LLVM in human readable format☆54Updated 2 years ago
- A procedural macro to generate bitfield-like stuct☆29Updated 7 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Updated 6 years ago
- Fixed Point Arithmetic☆30Updated 5 years ago
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆43Updated 3 years ago
- A nicer HDL.☆96Updated 8 years ago
- Portable high-level bitwise manipulation algorithms☆50Updated 3 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆52Updated 3 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 6 years ago
- ☆13Updated 8 years ago
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106Updated last year
- Haskell's language-c ported to Rust.☆32Updated 7 years ago