Alternatives and similar repositories for unumjl:

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

• tbreloff / Unums.jl
  Unum (Universal Number) types and operations
  ☆39Updated 8 years ago
• JuliaComputing / Unums.jl
  Unum arithmetic in Julia
  ☆41Updated 5 years ago
• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 8 years ago
• jwmerrill / Pnums.jl
  Unums 2.0 for Julia
  ☆13Updated 8 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• habemus-papadum / LilKanren.jl
  A collection of Kanren implementations in Julia
  ☆24Updated 8 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 11 months ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆16Updated 7 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆37Updated 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 this week
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated 2 months ago
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆87Updated 7 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last week
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 15 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• latticetower / MuKanren.jl
  minimal miniKanren implementation in Julia
  ☆23Updated 7 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• swadey / LispREPL.jl
  REPL for LispSyntax.jl
  ☆20Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 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