FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

rational-arithmetic · GitHub Topics · GitHub

#

rational-arithmetic

Here are 13 public repositories matching this topic...

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

  • Updated Oct 5, 2026
  • C++

AI-native exact calculator and contract-first Rust CLI for typed JSON math, symbolic reasoning, property tests, and mutation-tested agent workflows.

  • Updated Aug 9, 2026
  • Rust

Rational implementation in C++ to perform rational arithmetics

  • Updated Jun 8, 2022
  • C++

Reference implementation of Register Algebra — an exact integer and rational arithmetic in which every integer N is represented as a pair of integer registers (a, b) under the evaluation map

  • Updated Aug 2, 2026
  • Python

Integer programming proofs for Chvátal's conjecture over finite ground sets

  • Updated Sep 22, 2020
  • Coq

An exact decimal rational calculator engine featuring functionally identical, thread-safe implementations in Rust, Go, and Java. Designed for absolute precision, zero floating-point loss, and high-concurrency environments.

  • Updated Sep 14, 2026
  • Rust

Comparative determinism experiment on a 285v D6 substrate (P_95 □ K_3) — Zer0pa Computation portfolio. Pure-rational deterministic Rust pipeline; 31,560 byte-identical SHA-256 hashes on commodity Android.

  • Updated Jun 19, 2026
  • Shell

Flutter app for learning linear algebra through exact rational matrix calculations, animated worked steps, quizzes and 2D transformations.

  • Updated Sep 27, 2026
  • Dart

An embeddable scientific calculator library with exact arithmetic and high-precision evaluation, powered by a no_std Rust core with WebAssembly and npm bindings.

  • Updated Jul 15, 2026
  • Rust

Exact computation of evolutionarily stable strategies (ESS) / strict local maximizers for rational standard quadratic optimization problems (StQP).

  • Updated Aug 22, 2026
  • C++

Add this topic to your repo

To associate your repository with the rational-arithmetic topic, visit your repo's landing page and select "manage topics."

Learn more


Back | FazBrowse Home | New Git URL