A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
☆25Aug 12, 2025Updated 6 months ago
Alternatives and similar repositories for aern2
Users that are interested in aern2 are comparing it to the libraries listed below
Sorting:
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Jan 13, 2026Updated last month
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 10 months ago
- Exact real arithmetic in Haskell☆25Dec 13, 2021Updated 4 years ago
- ForSyDe's Haskell-embedded Domain Specific Language☆12Apr 10, 2024Updated last year
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆23Jun 17, 2025Updated 8 months ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 3 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 11 months ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Feb 20, 2026Updated 2 weeks ago
- MPFR bindings for Haskell☆34Oct 2, 2023Updated 2 years ago
- Language bindings for Maude☆25Nov 2, 2025Updated 4 months ago
- Enclosures of real-valued functions in Julia☆23Updated this week
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- C++ framework for rigorous computation on cyber-physical systems☆29Jan 22, 2026Updated last month
- Purely-functional, coordinate-free linear algebra☆30Jun 1, 2025Updated 9 months ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated 2 weeks ago
- The opensmt solver☆92Jan 13, 2026Updated last month
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 8 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- ☆10Jan 16, 2025Updated last year
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month