Alternatives and similar repositories for RealLib:

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

• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated this week
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆49Updated 9 years ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆34Updated 4 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆91Updated 13 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 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
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 2 months ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago