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
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years 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
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 9 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 8 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 8 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated this week
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last year
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 6 months ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago