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
- Embedded algebraic number fields☆15Aug 17, 2026Updated 2 months ago
- Teichmüller dynamics in SageMath☆14Oct 1, 2026Updated 3 weeks ago
- Small, configurable proof search for inductive Lean goals☆25Sep 30, 2026Updated 3 weeks ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 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.
- Type qualifiers for C☆16Sep 21, 2011Updated 15 years ago
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated last week
- Information theory and hypothesis testing, in Lean☆17Oct 13, 2026Updated last week
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated 2 months ago
- YAML archive for cereal library☆23Aug 24, 2018Updated 8 years ago
- sphinx builder that outputs jekyll compatible markdown files with frontmatter☆21Oct 6, 2026Updated 2 weeks ago
- Cryptographic routines for the Lean 4 language☆53Sep 9, 2024Updated 2 years ago
- SQLite driver for YOURLS☆13Mar 25, 2023Updated 3 years ago
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆48Mar 5, 2026Updated 7 months ago
- 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 8 years ago
- Playdate Blackletter is a font designed for Playdate's Pulp game maker for a spookier look 💀☆16Jan 21, 2022Updated 4 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
- ☆43Updated this week
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆44Updated this week
- Observatory Control Software☆16Updated this week
- ☆40Oct 1, 2026Updated 3 weeks 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.
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- An example repo for generating python bindings with cppyy.☆14Nov 19, 2019Updated 6 years ago
- Microdata parser☆14Jul 19, 2015Updated 11 years ago
- A rust-native port of wfa2lib☆14Aug 1, 2026Updated 2 months ago
- A conda-smithy repository for clangdev.☆11Updated this week
- phonetic transcription for arabic☆10Sep 17, 2019Updated 7 years ago
- ☆13Sep 16, 2025Updated last year
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black hole☆15Nov 19, 2024Updated last year
- FM4 chromecast receiver/sender☆11Jan 18, 2021Updated 5 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.
- ☆16Mar 30, 2026Updated 6 months ago
- Plugin for Intellij that allows backing up and restoring databases in SQL Server☆14Sep 6, 2026Updated last month
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 8 months ago
- A kind synthetic Euclidean Geometry proof assistant☆45Updated this week
- Successor to PolyBoRi☆24Sep 1, 2026Updated last month
- Explain what TypeScript server(tsserver) does under your editors☆14Dec 10, 2022Updated 3 years ago
- T is a C-like, module based programming language☆14Dec 30, 2022Updated 3 years ago