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:
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- 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 3 years ago
- A DSL for asynchronous circuits specification☆13Oct 1, 2020Updated 5 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
- 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.
- Theory propagator for linear programming using clingo theory language and interface.☆13Dec 2, 2021Updated 4 years ago
- Authenticated Blowfish-encrypted pipe☆24Feb 16, 2018Updated 8 years ago
- Compile-Time Parsing Expression Grammars for Zig☆13Jan 21, 2021Updated 5 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Jun 27, 2012Updated 14 years ago
- Deprecated higher-level, Rustic OpenGL bindings☆17Sep 2, 2014Updated 12 years ago
- simple plugin to save webpage/blog comments to a static JSON over git http☆19Updated this week
- Rendered display of markdown on terminal☆15Aug 3, 2026Updated last month
- Python Library for Lazy Interfaces☆35Sep 27, 2018Updated 8 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- Hobbyist OpenGL from Python☆15Aug 20, 2026Updated last month
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- ☆17Sep 16, 2026Updated last week
- A whoosh-based CLI indexer and searcher for your files.☆16Aug 20, 2016Updated 10 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- Generator for MLIR files from known front-ends☆17Oct 31, 2023Updated 2 years ago
- A telegram bot to reply to /zao☆10Jul 22, 2018Updated 8 years ago
- Optimized Conway's Game of Life Simulator with image and video recording☆12Apr 20, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Recycling Symbols for 3D-Printing☆11Jan 26, 2022Updated 4 years ago
- Develop sandstorm apps using Docker☆16Nov 5, 2022Updated 3 years ago
- MLIR grammar for tree-sitter☆19Updated this week
- ☆12Jul 28, 2021Updated 5 years ago
- Uart module written in chisel☆13Feb 19, 2016Updated 10 years ago
- Use Nikola to build hpypjoject.org☆29Nov 6, 2024Updated last year
- Compiler for a toy language in a couple hundred lines. Just messing around with ANTLR4 and LLVM really☆19Nov 26, 2016Updated 9 years ago
- Lisp machine X11 keyboard layout☆13Apr 27, 2023Updated 3 years ago
- Pure Python CMS and blogging solution using static HTML☆18May 25, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🐧 NodeJS, Express, MySQL and React Boilerplate App - Zwitter (Basic clone of Twitter)☆12Aug 23, 2016Updated 10 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 4, 2026Updated last month
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- ☆12Jan 27, 2017Updated 9 years ago
- A Github Action for turning Markdown into ReSpec HTML☆16Jun 6, 2024Updated 2 years ago
- Multithreaded Click apps made easy☆16May 30, 2021Updated 5 years ago
- [GobstonesWeb] The Gobstones Web IDE☆14Sep 1, 2025Updated last year