japaric-archived / positLinks
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
Sorting:
- Deprecated in favor of the libm crate.☆29Updated 6 years ago
- (More or less) accurate floating point algorithms☆57Updated 10 months ago
- Implementation of libm in rust☆34Updated 8 years ago
- Rust (MIR) → SPIR-V (Shader) compiler☆58Updated 7 years ago
- A nicer HDL.☆96Updated 8 years ago
- A Rust crate containing a set of types for building complex binary streams.☆10Updated 3 years ago
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 8 years ago
- Portable high-level bitwise manipulation algorithms☆50Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆46Updated last year
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago
- Renders interactive fractal-like animations☆19Updated 8 years ago
- Rust macro crate used for fighting the borrow checker☆14Updated 8 years ago
- A RISC-V simulator implementing RV32G[C].☆35Updated 2 years ago
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆44Updated this week
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- A symbolic evaluator for MIR☆19Updated 5 years ago
- ☆13Updated 8 years ago
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- Fixed Point Arithmetic☆30Updated 5 years ago
- Tool to print stack usage information emitted by LLVM in human readable format☆53Updated 2 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 8 years ago
- ☆27Updated 10 years ago
- rust verification condition generator☆96Updated 8 years ago
- JS affine☆66Updated 4 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 7 years ago
- Arbitrary precision floating point in Rust☆19Updated 9 years ago
- Rust refactoring project☆20Updated 8 years ago
- A Two Level Segregated Fit (TLSF) allocator optimized for memory-constrained systems☆20Updated 5 years ago
- [DEPRECATED] see:☆81Updated 8 years ago