A lightweight python3 library for arithmetic with real numbers.
☆72Jan 19, 2026Updated 4 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:
- console version of StarDict formerly used by koreader; fork of https://github.com/Dushistov/sdcv☆10Aug 29, 2017Updated 8 years ago
- ☆15Jan 28, 2013Updated 13 years ago
- Process-independent interface to Linux system calls☆89Jul 25, 2022Updated 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
- TopoTide: Topological Tools for Geomorphological Analysis☆11May 13, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Jul 14, 2023Updated 2 years ago
- Foolishly trying to solve a decades-old, terribly-designed treasure hunt.☆18Aug 13, 2023Updated 2 years ago
- Time Keeper - QML plasmoid for KDE☆19Oct 17, 2021Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Happy Eyeballs connection algorithm and underlying scheduling logic in asyncio☆12May 20, 2026Updated 3 weeks ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 13 years ago
- My Dutch steno theory and dictionary☆14Oct 19, 2025Updated 7 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of the Delta Language☆13Mar 18, 2024Updated 2 years ago
- Compilation of header-only C++23 constexpr utilities☆13Aug 12, 2024Updated last year
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- Test suite for Capsicum☆45Feb 9, 2026Updated 4 months ago
- Generator for MLIR files from known front-ends☆16Oct 31, 2023Updated 2 years ago
- FUSE filesystem based on tags☆20May 19, 2019Updated 7 years ago
- P2P Messenger using INET256 and SQLite☆18Jun 7, 2025Updated last year
- ☆11Sep 17, 2024Updated last year
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆125Mar 23, 2013Updated 13 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.
- MLIR grammar for tree-sitter☆18May 29, 2026Updated 2 weeks ago
- Recycling Symbols for 3D-Printing☆11Jan 26, 2022Updated 4 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Updated this week
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆22Jun 9, 2024Updated 2 years ago
- Unix-inspired shell and RAM filesystem for the Commodore 64 (6502 assembly) / AI-assisted development☆30Apr 7, 2026Updated 2 months ago
- csvcat☆22Feb 23, 2016Updated 10 years ago
- PSX VRAM viewer.☆12Dec 15, 2022Updated 3 years ago
- Search books within your terminal☆13Dec 26, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A text editor for boosting your productivity.☆11Feb 5, 2019Updated 7 years ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆18Dec 23, 2020Updated 5 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Jun 18, 2016Updated 9 years ago
- ☆12Dec 31, 2023Updated 2 years ago
- Obsolete☆42Jan 14, 2021Updated 5 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- When will the next leap second happen?☆12Mar 15, 2026Updated 3 months ago