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
  ☆126Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• stokito / fortress-lang
  ☆57Updated 8 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 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.
  ☆85Updated 4 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 3 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆15Updated 5 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆75Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated last month
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated 3 weeks ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 6 months ago
• henrikurms / tail2futhark
  ☆19Updated 6 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆20Updated 2 months ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆53Updated last month
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago