Alternatives and similar repositories for RealLib

Users that are interested in RealLib are comparing it to the libraries listed below

• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆122Updated 5 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 3 months ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 2 months ago
• leanprover / tutorial
  Lean Tutorials
  ☆45Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• stokito / fortress-lang
  ☆56Updated 8 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 2 weeks ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 8 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 7 years ago
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 2 months ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago