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 5 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 8 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• jwmerrill / Pnums.jl
  Unums 2.0 for Julia
  ☆13Updated 8 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated last month
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 4 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆42Updated 12 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 12 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago