Exact Computations with Reals
☆12Mar 23, 2026Updated 7 months ago
Alternatives and similar repositories for exact-real
Users that are interested in exact-real are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Flat surfaces in SageMath☆11Mar 23, 2026Updated 7 months ago
- Teichmüller dynamics in SageMath☆14Updated this week
- Embedded algebraic number fields☆15Updated this week
- Small, configurable proof search for inductive Lean goals☆27Sep 30, 2026Updated last month
- Formal prime certificates in Lean 4☆13Updated this week
- 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 MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 15 years ago
- Multinomials for the Mathematical Components library.☆17Updated this week
- YAML archive for cereal library☆23Aug 24, 2018Updated 8 years ago
- Information theory and hypothesis testing, in Lean☆16Oct 29, 2026Updated 2 weeks ago
- Co-inductive datatypes for Lean☆19Nov 5, 2026Updated last week
- Cryptographic routines for the Lean 4 language☆53Sep 9, 2024Updated 2 years ago
- sphinx builder that outputs jekyll compatible markdown files with frontmatter☆21Oct 26, 2026Updated 2 weeks ago
- A mutual induction tactic for Lean 4.☆33Oct 29, 2026Updated 2 weeks 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.
- This is the Android device configuration for Sony Xperia XZ1 Compact (yoshino platform).☆10May 30, 2025Updated last year
- Property Based Testing in C++ using RapidCheck☆12Nov 8, 2017Updated 9 years ago
- SQLite driver for YOURLS☆13Mar 25, 2023Updated 3 years ago
- Nazghul is an Ultima-like game engine (2D tile graphics) with combat, magic, NPC AI, an embedded scripting language, and in-game editing.☆13Jul 9, 2013Updated 13 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆48Updated this week
- Playdate Blackletter is a font designed for Playdate's Pulp game maker for a spookier look 💀☆16Jan 21, 2022Updated 4 years ago
- Observatory Control Software☆16Nov 7, 2026Updated last week
- An example repo for generating python bindings with cppyy.☆14Nov 19, 2019Updated 6 years ago
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆44Nov 3, 2026Updated last week
- 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.
- phonetic transcription for arabic☆10Sep 17, 2019Updated 7 years ago
- ☆41Oct 1, 2026Updated last month
- FM4 chromecast receiver/sender☆11Jan 18, 2021Updated 5 years ago
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- Microdata parser☆14Jul 19, 2015Updated 11 years ago
- A conda-smithy repository for clangdev.☆11Updated this week
- ☆13Sep 16, 2025Updated last year
- ☆16Mar 30, 2026Updated 7 months ago
- A kind synthetic Euclidean Geometry proof assistant☆45Oct 20, 2026Updated 3 weeks 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.
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black hole☆15Nov 19, 2024Updated last year
- Explain what TypeScript server(tsserver) does under your editors☆14Dec 10, 2022Updated 3 years ago
- Minimal WGPU compute shader example☆10Jul 26, 2023Updated 3 years ago
- T is a C-like, module based programming language☆14Dec 30, 2022Updated 3 years ago
- Successor to PolyBoRi☆25Sep 1, 2026Updated 2 months ago
- A GAP package to deal with numerical semigroups and affine semigroups☆13Updated this week
- A formally verified symbolic cryptography library for Lean☆22Feb 18, 2026Updated 8 months ago
Are these results useful?