michalkonecny / aern2View external linksLinks
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
☆23Aug 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 11 months ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last week
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Jan 13, 2026Updated last month
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 9 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
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- software archaeology of reflective towers of interpreters☆16Jun 6, 2025Updated 8 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 2 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆22Jun 17, 2025Updated 7 months ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- Verimag Polyhedra Library☆19Apr 11, 2025Updated 10 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Oct 25, 2023Updated 2 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Oct 3, 2025Updated 4 months ago
- MPFR bindings for Haskell☆34Oct 2, 2023Updated 2 years ago
- Language bindings for Maude☆24Nov 2, 2025Updated 3 months ago
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated last week
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- Purely-functional, coordinate-free linear algebra☆30Jun 1, 2025Updated 8 months ago
- C++ framework for rigorous computation on cyber-physical systems☆28Jan 22, 2026Updated 3 weeks ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆65Jul 26, 2019Updated 6 years ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- Implementing Halide's TRS inside of EGG☆34Jan 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,…☆13Jan 30, 2026Updated 2 weeks ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- The opensmt solver☆91Jan 13, 2026Updated last month
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Constraint-based generics☆49Jan 6, 2026Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 3 weeks ago
- ☆10Oct 3, 2018Updated 7 years ago
- ☆10Jan 16, 2025Updated last year
- ☆11Sep 8, 2022Updated 3 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆13Mar 26, 2024Updated last year