|
|
Haskell |
25 |
Interval Arithmetic |
Mar 19, 2022 |
|
|
Haskell |
14 |
Interval datatype, interval arithmetic, and interval-based containers for Haskell |
Mar 29, 2023 |
|
|
Rust |
3 |
Continuous interval arithmetic library. |
Feb 24, 2023 |
|
|
Rust |
12 |
Integer interval arithmetic library |
Jan 16, 2023 |
|
|
C++ |
3 |
*Hobby* implementation of affine arithmetic and interval arithmetic |
Jan 07, 2023 |
|
|
Python |
2 |
A interval package for Python which deals with interval arithmetic |
Jul 03, 2019 |
|
|
JavaScript |
2 |
JavaScript Implementation of Interval Arithmetic. |
Apr 08, 2022 |
|
|
R |
81 |
Genome Interval Arithmetic in R |
Apr 11, 2023 |
|
|
Logtalk |
2 |
An interval arithmetic library in Logtalk |
Jan 28, 2022 |
|
|
Python |
3 |
A library for interval arithmetic, bisection, and analysis |
Mar 03, 2022 |
|
|
Dart |
82 |
A library for parsing and evaluating mathematical expressions, supporting real numbers, vectors, and basic interval … |
May 27, 2023 |
|
|
Rust |
17 |
A Rust implementation of interval arithmetic (IEEE 1788) |
Apr 25, 2023 |
|
|
Julia |
235 |
Rigorous floating-point calculations using interval arithmetic in Julia |
Apr 23, 2023 |
|
|
Julia |
81 |
Rigorous floating-point calculations with interval arithmetic in Julia |
Feb 04, 2023 |
|
|
OCaml |
110 |
Real number computation software |
Mar 30, 2023 |
|
|
TypeScript |
4 |
A 2d function plotter powered by d3 and interval arithmetic |
Sep 14, 2021 |
|
|
Coq |
2 |
A Coq library with verified interval and polynomial model arithmetic |
Jul 19, 2023 |
|
|
Haskell |
22 |
Exact real arithmetic in Haskell |
Sep 11, 2022 |
|
|
C++ |
9 |
Exact real arithmetic in C++ |
Oct 29, 2022 |
|
|
GAP |
2 |
Computation with real Lie groups |
Jan 27, 2022 |
|
|
Rust |
3 |
A rust interval arithmetic library which provides flags that detect domain errors. |
Jul 27, 2022 |
|
|
Racket |
4 |
Symbolic Virtual Machine for Automated R1CS Verification |
May 26, 2022 |
|
|
Racket |
4 |
A collection of recipes for 'RSound: A Sound Engine for Racket' library |
Feb 01, 2022 |
|
|
Racket |
4 |
Racket code analysis |
Dec 09, 2021 |
|
|
Racket |
4 |
Infix expression for Racket |
May 19, 2022 |
|
|
Racket |
4 |
Experiments with require |
May 20, 2017 |
|
|
Racket |
4 |
A Racket implementation of the Troll dice-rolling language |
Jan 05, 2022 |
|
|
Racket |
4 |
URI Template (RFC 6570) for Racket |
Mar 21, 2019 |
|
|
Racket |
4 |
2020年春季学期 北京大学 函数式程序设计（郭炜老师主讲）习题代码整理 |
Jun 12, 2022 |
|
|
Racket |
4 |
Invoke `raco test` with `errortrace` on |
Jul 21, 2022 |
|
|
Racket |
4 |
SICP exercises in Haskell or Racket |
Sep 05, 2021 |
|
|
Racket |
4 |
Efficient enumeration of polymorphic λ-terms from System Fω. |
Nov 16, 2021 |
|
|
Racket |
4 |
This library provides a table-panel% class that specializes the panel% class to provide a panel … |
Oct 30, 2021 |
|
|
Racket |
4 |
Some university work and other stuff |
Apr 07, 2022 |
|
|
Racket |
4 |
A Racket library to make it easy to colorize terminal output |
Feb 10, 2022 |
|
|
Racket |
4 |
racket binding to tree-sitter |
Mar 29, 2022 |
|
|
Racket |
4 |
How to use R7RS Scheme libraries in a Racket program |
Dec 22, 2021 |
|
|
Racket |
4 |
Run raco run! Easier running Racket submodules on the command line. |
Oct 26, 2020 |
|
|
Racket |
4 |
None |
Jul 08, 2022 |
|
|
Racket |
4 |
THIS REPOSITORY IS OBSELETE |
Aug 08, 2019 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
None |
Jun 13, 2022 |
|
|
Racket |
4 |
None |
Jan 28, 2022 |
|
|
Racket |
4 |
None |
May 09, 2022 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
An experiment to extract "blue boxes" from any Racket source file. |
Dec 04, 2015 |
|
|
Racket |
4 |
Racket wrapper for The Echo Nest API |
Nov 22, 2017 |
|
|
Racket |
4 |
Racket code to use webapi-markdown files. |
Aug 22, 2019 |
|
|
Racket |
4 |
A more consistent approach to HTTP requests and responses for both clients and servers, in … |
Aug 22, 2019 |