Alternatives and similar repositories for unumjl:

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

• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 8 years ago
• JuliaComputing / Unums.jl
  Unum arithmetic in Julia
  ☆41Updated 6 years ago
• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 9 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated last month
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆51Updated 8 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated 2 weeks ago
• latticetower / MuKanren.jl
  minimal miniKanren implementation in Julia
  ☆23Updated 7 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 10 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• jwmerrill / Pnums.jl
  Unums 2.0 for Julia
  ☆13Updated 8 years ago
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆88Updated 7 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 10 months ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago