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:
- safe and efficient memory manager for microcontrollers☆34Updated 8 years ago
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 8 years ago
- Deprecated in favor of the libm crate.☆29Updated 7 years ago
- Verification working group☆104Updated 6 years ago
- rust verification condition generator☆96Updated 9 years ago
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Updated 7 years ago
- A nicer HDL.☆97Updated 8 years ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆103Updated 6 years ago
- Arbitrary precision floating point in Rust☆19Updated 9 years ago
- Experiments in `no_std` cooperative multitasking☆23Updated 6 years ago
- Fixed Point Arithmetic☆30Updated 5 years ago
- Implementation of libm in rust☆34Updated 8 years ago
- A Rust crate containing a set of types for building complex binary streams.☆11Updated 3 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 3 years ago
- Put a program in your program, so you can program while you program.☆46Updated 9 years ago
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- Renders interactive fractal-like animations☆19Updated 8 years ago
- Rust (MIR) → SPIR-V (Shader) compiler☆59Updated 7 years ago
- [DEPRECATED] see:☆81Updated 8 years ago
- Portable high-level bitwise manipulation algorithms☆50Updated 4 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆171Updated 7 years ago
- Testing ground for the Copper book (http://japaric.github.io/copper/).☆60Updated 8 years ago
- An efficient method of heaplessly converting numbers into their string representations, storing the representation within a reusable byte…☆46Updated this week
- (More or less) accurate floating point algorithms☆57Updated last year
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Updated 4 years ago
- JS affine☆67Updated 5 years ago
- ☆53Updated 5 years ago
- A bare metal example of blink written in rust for the teensy 3.1☆28Updated 8 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆107Updated 2 years ago
- A Rust implementation of the PCG PRNG.☆24Updated 8 years ago