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:
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- ☆15Jan 28, 2013Updated 13 years ago
- Process-independent interface to Linux system calls☆87Jul 25, 2022Updated 3 years ago
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last week
- Authenticated Blowfish-encrypted pipe☆24Feb 16, 2018Updated 8 years ago
- Compile-Time Parsing Expression Grammars for Zig☆13Jan 21, 2021Updated 5 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Implementation of the Delta Language☆13Mar 18, 2024Updated 2 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆14May 5, 2026Updated 3 weeks ago
- Hobbyist OpenGL from Python☆15Jul 28, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- FUSE filesystem based on tags☆20May 19, 2019Updated 7 years ago
- Cheat Sheets (Chuletas) en Castellano☆12Feb 11, 2024Updated 2 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆125Mar 23, 2013Updated 13 years ago
- Tool to assist in testing and building interactive fiction using Dialog☆14Updated this week
- Recycling Symbols for 3D-Printing☆11Jan 26, 2022Updated 4 years ago
- The weightless wiki engine☆10Dec 11, 2022Updated 3 years ago
- A simple UTC => TAI converter and hex-encoded TAI (as used by DJBDNS) => UTC datetime.datetime decoder.☆15Apr 12, 2019Updated 7 years ago
- Unix-inspired shell and RAM filesystem for the Commodore 64 (6502 assembly) / AI-assisted development☆30Apr 7, 2026Updated last month
- csvcat☆22Feb 23, 2016Updated 10 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.
- A text editor for boosting your productivity.☆11Feb 5, 2019Updated 7 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- Uart module written in chisel☆13Feb 19, 2016Updated 10 years ago
- ☆69Updated this week
- ☆21Nov 12, 2025Updated 6 months ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆18Dec 23, 2020Updated 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 2 months ago
- Use Nikola to build hpypjoject.org☆30Nov 6, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pure Python CMS and blogging solution using static HTML☆18May 25, 2021Updated 5 years ago
- Part of paper: Massively Parallel Combinational Binary Neural Networks for Edge Processing☆12Jun 27, 2019Updated 6 years ago
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- A command-line parser for neovim for plugin authors.☆13Feb 23, 2022Updated 4 years ago
- Github page for SSDFA☆11Jan 28, 2020Updated 6 years ago
- DRG Save Parser is a rust-based save file parser for Deep Rock Galactic☆11Dec 19, 2023Updated 2 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 10 years ago