Arithmetic in Rust's Type System
☆11Feb 18, 2024Updated 2 years ago
Alternatives and similar repositories for arts
Users that are interested in arts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A rust library for parsing command line file name arguements☆21Sep 22, 2025Updated 8 months ago
- ☆13Dec 31, 2023Updated 2 years ago
- Benchmarks for comparing the speed of stdout vs stderr & code snippets for my blog post.☆15Dec 4, 2024Updated last year
- An android app to create and control emulations of "Connway's Game of Life"☆10May 22, 2023Updated 3 years ago
- Reusable packaging workflow for Rust projects☆29Feb 19, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Signed distance field generator in pure Rust☆32Sep 8, 2022Updated 3 years ago
- A Minecraft Forge mod that fixes keyboard issues in Minecraft on GNU/Linux☆19Jul 25, 2022Updated 3 years ago
- ☆36Mar 17, 2022Updated 4 years ago
- A TUI signal waveform viewer.☆24Mar 27, 2025Updated last year
- A CLI application that implements multi-key-turn security via Shamir's Secret Sharing.☆19Nov 12, 2024Updated last year
- RISC-V instruction decoder written in Rust.☆17Dec 31, 2025Updated 5 months ago
- A 6502 emulator with interactive debugger and graphics!☆31Jan 11, 2024Updated 2 years ago
- Implementation of a RISC-V CPU in Verilog.☆17Mar 2, 2025Updated last year
- STYX: at least it's not YAML☆58May 22, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My new dots, since my old ones broke☆32Mar 16, 2025Updated last year
- Advertising repository for a-Shell☆15Dec 20, 2025Updated 5 months ago
- A threadsafe way to publish data, just stick it on the pinboard☆29Apr 17, 2023Updated 3 years ago
- Trait synonyms for “Fn[…]”-trait bounds returning futures☆23Dec 7, 2021Updated 4 years ago
- ☆14Jan 16, 2026Updated 4 months ago
- WebGL renderer for chip layouts☆24Apr 14, 2025Updated last year
- Simple Smith chart application serving as a paper.js demo☆14Jul 27, 2020Updated 5 years ago
- celq - A Common Expression Language (CEL) CLI Tool☆55May 26, 2026Updated 2 weeks ago
- ☆36Nov 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Sep 13, 2023Updated 2 years ago
- Trait implementation generator macro☆30May 16, 2026Updated 3 weeks ago
- Apheleia Verification Library. A Python based HDL verification library sitting on top of cocotb☆59Updated this week
- A bit vector with the Rust standard library's portable SIMD API.☆42May 4, 2023Updated 3 years ago
- smelt is a library to create, execute and analyze integration tests☆28Jun 2, 2025Updated last year
- Costless typed identifiers backed by UUID, with kind readable in serialized versions☆75Nov 21, 2024Updated last year
- Alternative future adapters that provide cancel safety.☆83Jun 3, 2026Updated last week
- Core contracts of Protocolink☆25Feb 13, 2025Updated last year
- A Julia Library for DC to Daylight☆16Mar 30, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Developer Environments Evolved☆42Jun 4, 2026Updated last week
- Barerbones OSX based Verilog simulation toolchain.☆20Nov 1, 2020Updated 5 years ago
- ☆11Nov 9, 2025Updated 7 months ago
- Distributed data sync using trimerge☆11Mar 26, 2024Updated 2 years ago
- A Rust GitHub v3 API client.☆38Jan 11, 2016Updated 10 years ago
- ☆10Jun 4, 2026Updated last week
- Ergonomic Keyboard with custom firmware in Rust.☆50Jan 26, 2026Updated 4 months ago