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
  ☆123Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 4 months ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆21Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• jwmerrill / Pnums.jl
  Unums 2.0 for Julia
  ☆13Updated 8 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆83Updated 4 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 7 months ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆15Updated 7 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 8 years ago