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 8 years ago
- Unum (Universal Number) types and operations☆39Updated 8 years ago
- Unum arithmetic in Julia☆41Updated 5 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
- Unums 2.0 for Julia☆13Updated 8 years ago
- Universal Number Library☆41Updated 7 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- Library for exact real number computations☆39Updated 9 years ago
- APL Compiler targeting a typed array intermediate language☆211Updated 6 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A PEG that compiles itself.☆75Updated 14 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- ☆38Updated 8 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- ☆34Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆85Updated 8 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last month
- A new logic programming language.☆175Updated last year
- World's dumbest fuzzer☆52Updated last year
- A simple C-like language compiler with an extensible syntax and typed macros support☆130Updated 3 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆17Updated 5 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 4 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- The C container library, also known as 'libcontainer', implements generic containers in proper C style. Operations on containers have no…☆17Updated 5 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year