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 9 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• llnl / unum
  Universal Number Library
  ☆44Updated 7 years ago
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆88Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 3 months ago
• stokito / fortress-lang
  ☆58Updated 8 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆21Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 9 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• JuliaComputing / Unums.jl
  Unum arithmetic in Julia
  ☆41Updated 6 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆54Updated 8 years ago
• dalnefre / kernel_abe
  John Shutt's "Kernel" language implemented on ABE (C) runtime.
  ☆13Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago