Alternatives and similar repositories for best-rational-approximation

Users that are interested in best-rational-approximation are comparing it to the libraries listed below

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 6 years ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• Z3Prover / bin
  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  ☆18Updated 6 years ago
• andralex / MedianOfNinthers
  ☆50Updated 5 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• lemire / multiplatform_simd_recipes
  SIMD recipes, for various platforms (collection of code snippets)
  ☆49Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Updated 2 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆120Updated last week
• smart-tool / smart
  String Matching Algorithms Research Tool
  ☆108Updated last year
• choobin / simple9
  A word-aligned integer compression algorithm.
  ☆13Updated last year
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 2 months ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆56Updated 10 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆69Updated 8 years ago
• blynn / dlx
  Library that solves the exact cover problem using Dancing Links, also known as DLX.
  ☆50Updated 3 years ago
• skeeto / prng64-shootout
  64-bit PRNG shootout
  ☆20Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆46Updated 11 months ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated last year
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 11 months ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆162Updated last year
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• WojciechMula / simd-byte-lookup
  SIMDized check which bytes are in a set
  ☆28Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• imneme / bounded-rands
  Methods and Benchmarks for Random Numbers in a Range
  ☆37Updated 7 years ago