A lightweight python3 library for arithmetic with real numbers.
☆72Jan 19, 2026Updated 8 months ago
Alternatives and similar repositories for reals
Users that are interested in reals are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic screen orientation via xrandr☆14Dec 10, 2018Updated 7 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆18Dec 23, 2020Updated 5 years ago
- Process-independent interface to Linux system calls☆96Oct 9, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- console version of StarDict formerly used by koreader; fork of https://github.com/Dushistov/sdcv☆10Aug 29, 2017Updated 9 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 6 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 10 years ago
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- transducer library for python, inspired by clojure☆10Oct 1, 2020Updated 6 years ago
- Foolishly trying to solve a decades-old, terribly-designed treasure hunt.☆18Aug 13, 2023Updated 3 years ago
- Wrapper library for date/time conversion. Takes many standard ISO date formats as stirngs and creates internally consistent datetime obje…☆14Jun 29, 2023Updated 3 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Inofficial fork of quad-wheel on Google-Code☆12Mar 26, 2012Updated 14 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 3 years ago
- Autocomplete for Java that only autocomplete.☆10Aug 23, 2016Updated 10 years ago
- Compile-Time Parsing Expression Grammars for Zig☆13Jan 21, 2021Updated 5 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆13Dec 2, 2021Updated 4 years ago
- An Algebraic, Executable Ur Machine☆38Nov 23, 2018Updated 7 years ago
- ☆11Dec 20, 2015Updated 10 years ago
- Unsorted files for Minsky's TT2500 computer☆14Mar 27, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Deprecated higher-level, Rustic OpenGL bindings☆17Sep 2, 2014Updated 12 years ago
- C++ PIMPL idiom without an allocation involved☆14Mar 10, 2024Updated 2 years ago
- ☆18Aug 20, 2019Updated 7 years ago
- A byte code specification and a JIT-compiler written in Assembly.☆15Jan 9, 2025Updated last year
- Alternate completing-read-multiple that uses completing-read☆10Jan 17, 2016Updated 10 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- An experimental indexing and search engine for e-mail☆12Aug 17, 2015Updated 11 years ago
- ☆11Jun 1, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 14 years ago
- simple plugin to save webpage/blog comments to a static JSON over git http☆19Sep 24, 2026Updated 3 weeks ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- Project starter template for building cross-platform applications in C using the Cosmopolitan toolchain☆30Aug 30, 2026Updated last month
- Compilation of header-only C++23 constexpr utilities☆13Aug 12, 2024Updated 2 years ago
- No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform☆30Dec 8, 2018Updated 7 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year