jrmuizel / pyunum
Python port of the Mathematica unum prototype from "The End of Error"
☆52Updated 8 years ago
Alternatives and similar repositories for pyunum:
Users that are interested in pyunum are comparing it to the libraries listed below
- Julia Implementation of Unums☆42Updated 7 years ago
- Unum (Universal Number) types and operations☆39Updated 8 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- Unum arithmetic in Julia☆41Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A PEG that compiles itself.☆74Updated 14 years ago
- 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
- Unums 2.0 for Julia☆13Updated 7 years ago
- 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
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last month
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- ☆38Updated 8 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 2 months ago
- Metaprogramming framework for .net☆89Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Universal Number Library☆40Updated 6 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- An experimental statically typed procedural language with first-class resumable functions.☆58Updated 8 years ago
- A small forth-like language that targets the CPython VM.☆52Updated 6 years ago
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆17Updated 4 years ago
- ☆34Updated 4 years ago
- attempt to write a simple Forth interpreter in Python☆35Updated 10 years ago