blambov / RealLibLinks
Library for exact real number computations
☆40Updated 10 years ago
Alternatives and similar repositories for RealLib
Users that are interested in RealLib are comparing it to the libraries listed below
Sorting:
- Real number computation software☆124Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Exact real arithmetic in C++☆50Updated 4 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 9 months ago
- ☆89Updated 3 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆49Updated 9 years ago
- Exact real arithmetic in Haskell☆25Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- Deposited packages of the homalg project☆14Updated last month
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- ☆56Updated last month
- Specification of the Cedille Core language☆29Updated 4 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 7 months ago
- A Small Combinator-Reduction System☆15Updated 4 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- ☆55Updated 8 years ago
- Stackless Joy☆23Updated last month
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- Brent's PhD thesis.☆63Updated 9 years ago