A Python package for simulating low precision arithmetic in scientific computing and machine learning
☆25Sep 26, 2026Updated last month
Alternatives and similar repositories for pychop
Users that are interested in pychop 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 reproducible benchmark for learning and extending controlled symbolic sequences.☆15Oct 3, 2026Updated 3 weeks ago
- Fast and explainable clustering in MATLAB☆16Aug 7, 2024Updated 2 years ago
- ☆16Mar 24, 2023Updated 3 years ago
- Fast and exact Wigner transforms☆10Jul 8, 2025Updated last year
- Compilation of material properties at cryogenic temperatures for use in design and testing of cryogenic systems.☆14Sep 25, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Python library for the fast symbolic approximation of time series☆55Sep 26, 2026Updated last month
- WSPR implementation using the ESP32 and Si5351☆13Feb 23, 2017Updated 9 years ago
- E-Graphs, natively in MLIR☆48Oct 22, 2026Updated last week
- A set of Latex figures that I used for various documents, from teaching materials to journal scientific articles.☆13May 28, 2025Updated last year
- ☆17Oct 13, 2026Updated 2 weeks ago
- Basic Handwritten Math Symbols Dataset☆11Apr 26, 2022Updated 4 years ago
- ☆27Mar 1, 2024Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 6 months ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- 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 VHDL code☆10Jan 24, 2019Updated 7 years ago
- WSPR very basic JTEncode implementation☆16Mar 7, 2020Updated 6 years ago
- 32-bit Wallace and Dadda Tree Multiplier☆14Jun 26, 2020Updated 6 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- ☆24Oct 23, 2026Updated last week
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Code repository for the paper "Towards a Comprehensive Evaluation of Dimension Reduction Methods for Data Visualization"☆15Jul 4, 2024Updated 2 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- Rust interface for cvc5☆17Oct 13, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Kratos: An FPGA Benchmark for Unrolled Deep Neural Networks with Fine-Grained Sparsity and Mixed Precision☆12Jan 19, 2026Updated 9 months ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- ☆13May 7, 2026Updated 5 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- ☆17Jul 6, 2026Updated 3 months ago
- ☆13Jun 18, 2025Updated last year
- Hardware and Software for the PicoGPSDO☆23Apr 20, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Test suite for probing the numerical behavior of NVIDIA tensor cores☆42Jul 24, 2024Updated 2 years ago
- ISO-SPLIT clustering (stand-alone version)☆15May 6, 2024Updated 2 years ago
- Points for Free: Embedding Pointful Array Programming in Python☆22Sep 19, 2024Updated 2 years ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- ☆25Sep 5, 2022Updated 4 years ago