Search Results - RepositoryStats

137

455

lgpl-2.1

26

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

c number-theory floating-point linear-algebra multiprecision complex-numbers special-functions arbitrary-precision interval-arithmetic

Created 2012-04-05

2,641 commits to master branch, last one 10 months ago

universal stillwater-sc

59

404

mit

30

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, contro...

arithmetic c-plus-plus half-precision octa-precision quad-precision embedded-systems posit-arithmetic quarter-precision integer-arithmetic arbitrary-precision interval-arithmetic rational-arithmetic fixed-point-arithmetic artificial-intelligence digital-signal-processing floating-point-arithmetic arbitrary-precision-floats arbitrary-precision-integers arbitrary-precision-arithmetic

Created 2017-05-01

4,130 commits to main branch, last one 25 days ago

autobound google

19

355

apache-2.0

10

AutoBound automatically computes upper and lower bounds on functions.

jax autodiff interval-arithmetic

Created 2022-11-23

40 commits to main branch, last one 10 months ago

IntervalArithmetic.jl JuliaIntervals

72

297

other

13

Library for validated numerics using interval arithmetic

julia rigorous-numerics interval-arithmetic

Created 2017-04-02

1,229 commits to master branch, last one 14 days ago

ReachabilityAnalysis.jl JuliaReach

17

190

mit

10

Computing reachable states of dynamical systems in Julia

ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations

Created 2019-12-03

1,908 commits to master branch, last one 7 days ago

IntervalRootFinding.jl JuliaIntervals

26

128

other

10

Library for finding the roots of a function using interval arithmetic

julia interval-arithmetic root-finding-methods

Created 2017-04-02

211 commits to master branch, last one 3 months ago

graphest unageek

1

95

mit

2

A faithful graphing calculator

art math plot rust graph education mathematics graphing-calculator interval-arithmetic

Created 2020-08-14

1,684 commits to main branch, last one 29 days ago

valr rnabioco

25

88

other

8

Genome Interval Arithmetic in R

genome bedtools interval-arithmetic

Created 2016-01-10

991 commits to main branch, last one 29 days ago

interval-arithmetic mauriciopoppe

9

83

bsl-1.0

7

An implementation of an algebraically closed interval system of the extended real number set

math interval precision interval-arithmetic interval-arithmetic-evaluator

Created 2015-05-12

180 commits to master branch, last one about a year ago

IntervalOptimisation.jl JuliaIntervals

21

56

other

9

Rigorous global optimisation in pure Julia

julia global-optimization interval-arithmetic

Created 2017-06-14

59 commits to master branch, last one 2 years ago

IntervalLinearAlgebra.jl JuliaIntervals

9

36

mit

7

Linear algebra done rigorously

numerics linear-algebra interval-arithmetic

Created 2021-04-13

121 commits to main branch, last one about a month ago