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
• LLNL / unum
  Universal Number Library
  ☆40Updated 6 years ago
• JuliaComputing / Unums.jl
  Unum arithmetic in Julia
  ☆41Updated 5 years ago
• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 8 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
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 9 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 11 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆59Updated 15 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated last month
• brownplt / lambda-py
  ☆58Updated 10 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆86Updated 6 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago