A Rust implementation of the posit number system
☆33Dec 8, 2018Updated 7 years ago
Alternatives and similar repositories for posit
Users that are interested in posit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Beyond Floating Point - Posit C/C++ implementation☆301May 23, 2024Updated last year
- Universal number Posit HDL Arithmetic Architecture generator☆70Jun 24, 2019Updated 6 years ago
- Rust declarative static analysis with macro-like syntax☆15Oct 8, 2018Updated 7 years ago
- Hastlayer-compatible arithmetics package. Includes the .NET implementation of the unum and posit number formats that can be transformed i…☆42Nov 5, 2024Updated last year
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- High-Performance Reproducible BLAS using posit arithmetic☆12Mar 16, 2022Updated 4 years ago
- Arbitrary precision floating point in Rust☆19Nov 12, 2015Updated 10 years ago
- Chisel library for Unum Type-III Posit Arithmetic☆45Apr 2, 2025Updated 11 months ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 2 years ago
- A 3D renderer and software rasterizer☆16Sep 29, 2012Updated 13 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Oct 30, 2018Updated 7 years ago
- A glsl to spirv compiler☆20Nov 26, 2019Updated 6 years ago
- Rust implementation of LibLZF☆16Nov 6, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- Real Time For the Masses (RTFM), a framework for building concurrent applications, for MSP430 MCUs☆11Jul 29, 2017Updated 8 years ago
- A command line tool to make working with registers easier.☆15Mar 6, 2026Updated 2 weeks ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 2 years ago
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Apr 11, 2021Updated 4 years ago
- Just like `Cell` but with volatile read / write operations☆18Aug 2, 2023Updated 2 years ago
- The VD100 development board is based on the Xilinx Versal AI Edge series chip xcve2302 and is designed with a core board and a bottom boa…☆18Jul 9, 2024Updated last year
- A simple ray tracer with lots of comments to learn from☆11Mar 30, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Faster, more flexible and more correct alternative to core::fmt☆40Aug 9, 2020Updated 5 years ago
- Codeplay's tutorial LLDB-MSP430 - as presented at the 2016 EuroLLVM Developers' Meeting in Barcelona.☆11Mar 15, 2016Updated 10 years ago
- The design of intermezzOS☆14Jan 16, 2017Updated 9 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- An Elixir implementation of the Auto Configuration Server described in the TR-069 specification☆11Jun 1, 2024Updated last year
- Configurable, extensible, interactive line reader☆194Aug 25, 2020Updated 5 years ago
- tms080x calculation chip emulation on TI msp430, w/ TI-1500 and Sinclair Scientific ROMs☆22Jun 19, 2025Updated 9 months ago
- babel plugin which use jsdoc to implement strong typing in javascript☆11May 3, 2016Updated 9 years ago
- knitout writing frontend for javascript☆16Oct 14, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- simple canvas for drawing lines and styled text and emitting to the terminal☆22Feb 18, 2026Updated last month
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 10 years ago
- An interpreter for Janus, the reversible programming language.☆14Jun 7, 2020Updated 5 years ago
- USB to CAN with STM32F103☆14Dec 25, 2023Updated 2 years ago
- EBook::EPUB perl module for generating EPUB document☆31Mar 1, 2013Updated 13 years ago
- PACoGen: Posit Arithmetic Core Generator☆80Aug 16, 2019Updated 6 years ago