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
  ☆129Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 6 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated 2 weeks ago
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆42Updated 2 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• rocq-community / dedekind-reals
  A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
  ☆45Updated last year
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 5 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• henrikurms / tail2futhark
  ☆19Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 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
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 11 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆35Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆84Updated 8 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆19Updated 5 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆36Updated 2 weeks ago