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:
- Sigmoid Numbers for Julia☆89Jan 23, 2018Updated 8 years ago
- Beyond Floating Point - Posit C/C++ implementation☆302May 23, 2024Updated 2 years ago
- DEPRECATED☆31Mar 4, 2019Updated 7 years ago
- Probably correct posit prototype for python☆18Nov 23, 2019Updated 6 years ago
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- org-babel functions for rust evaluation☆12Jun 12, 2015Updated 10 years ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 2 years ago
- Open-Source Posit RISC-V Core with Quire Capability☆70May 4, 2026Updated 3 weeks ago
- A 3D renderer and software rasterizer☆16Sep 29, 2012Updated 13 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Oct 30, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A glsl to spirv compiler☆20Nov 26, 2019Updated 6 years ago
- Rust implementation of LibLZF☆16Nov 6, 2022Updated 3 years ago
- 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 months ago
- Type aliases to C types like c_int for use with bindgen☆40Mar 20, 2023Updated 3 years 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 3 years ago
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆125Apr 11, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Just like `Cell` but with volatile read / write operations☆19Aug 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…☆19Jul 9, 2024Updated last year
- 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.☆10Mar 15, 2016Updated 10 years ago
- The design of intermezzOS☆14Jan 16, 2017Updated 9 years ago
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated 2 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- Posit Arithmetic Cores generated with FloPoCo☆29May 8, 2026Updated 3 weeks ago
- tms080x calculation chip emulation on TI msp430, w/ TI-1500 and Sinclair Scientific ROMs☆22Jun 19, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An Elixir implementation of the Auto Configuration Server described in the TR-069 specification☆11Jun 1, 2024Updated last year
- Tab completions for rustc and cargo!☆25Feb 24, 2021Updated 5 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- simple canvas for drawing lines and styled text and emitting to the terminal☆23Feb 18, 2026Updated 3 months ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 11 years ago
- SUPERSEDED by https://github.com/japaric/xargo☆13Apr 10, 2016Updated 10 years ago
- An interpreter for Janus, the reversible programming language.☆15Jun 7, 2020Updated 5 years ago