blambov / RealLib
Library for exact real number computations
☆39Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for RealLib
- Real number computation software☆121Updated 2 years ago
- Exact real arithmetic in C++☆50Updated 4 years ago
- ☆51Updated 3 months ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆16Updated 8 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 weeks ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Haskell bindings to SymEngine☆25Updated last year
- The Aldor Programming Language☆33Updated 4 months ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Reference type checker for the Lean theorem prover☆13Updated 6 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- ☆87Updated 2 years ago
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- Homotopy theory in Coq.☆90Updated 13 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated last year
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated 4 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Exact real arithmetic in Haskell☆25Updated 2 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Brent's PhD thesis.☆63Updated 8 years ago