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
Sorting:
- Rust implementation of LibLZF☆16Nov 6, 2022Updated 3 years ago
- Rust declarative static analysis with macro-like syntax☆15Oct 8, 2018Updated 7 years ago
- org-babel functions for rust evaluation☆12Jun 12, 2015Updated 10 years ago
- Kicad Library to pretify your schematic with pride flags.☆16Nov 13, 2022Updated 3 years ago
- simple canvas for drawing lines and styled text and emitting to the terminal☆22Feb 18, 2026Updated 2 weeks ago
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- A glsl to spirv compiler☆20Nov 26, 2019Updated 6 years ago
- The design of intermezzOS☆14Jan 16, 2017Updated 9 years ago
- ☆19Nov 20, 2021Updated 4 years ago
- A Rust source code parser and explorer☆23Aug 31, 2023Updated 2 years ago
- Unit `#[test]`ing for microcontrollers and other `no_std` systems☆124Apr 11, 2021Updated 4 years ago
- Backported standard Rust library to older compilers.☆23Oct 7, 2022Updated 3 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 2 years ago
- Converts ELF, mach-o, or PE binaries to a JSON representation☆34Sep 28, 2015Updated 10 years ago
- A pipelined, in-order, scalar VHDL implementation of the MRISC32 ISA☆24Sep 2, 2023Updated 2 years ago
- Neural networks in Rust☆210Oct 30, 2019Updated 6 years ago
- A VHDL code generator for wallace tree multiplier☆10Apr 15, 2020Updated 5 years ago
- Learn FPGAs by building interesting hardware projects.☆25Apr 25, 2022Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- Cache & In-Memory optimizations for Rust, revived from the slabs of Sumer.☆30Feb 22, 2020Updated 6 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- A macro for defining type operators in Rust.☆65Mar 16, 2017Updated 8 years ago
- Configurable, extensible, interactive line reader☆194Aug 25, 2020Updated 5 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- A library of drivers for LXI instruments☆10Aug 30, 2024Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆35Oct 22, 2024Updated last year
- Low-area DVI experiment for iCE40 UP5k and HX1k FPGAs☆33Jul 15, 2021Updated 4 years ago
- Adds `#[derive(Deref)]` and `#[derive(DerefMut)]`☆38Nov 4, 2021Updated 4 years ago
- Tools for analyzing ITM traces☆51Mar 24, 2022Updated 3 years ago
- Haskell's language-c ported to Rust.☆33Apr 4, 2018Updated 7 years ago
- cargo subcommand for building proc-macro crates with web assembly☆34Oct 23, 2020Updated 5 years ago
- Formatting Cargo.toml☆32Feb 7, 2026Updated 3 weeks ago
- Hot Reconfiguration Technology demo☆42Aug 23, 2022Updated 3 years ago
- A bare metal Rust example for the TI Stellaris/Tiva-C Launchpad☆30Jul 19, 2020Updated 5 years ago
- A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.☆37Dec 2, 2020Updated 5 years ago
- Pure-Rust Command Line Editing Library☆26Jul 29, 2016Updated 9 years ago
- Adobe Flash / SWF preservation tools.☆78Feb 24, 2020Updated 6 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Oct 19, 2024Updated last year
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Mar 30, 2018Updated 7 years ago