Search Results - RepositoryStats

142

460

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 about a year ago

universal stillwater-sc

60

425

mit

32

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 3 months 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 about a year ago

IntervalArithmetic.jl JuliaIntervals

71

303

other

13

Library for validated numerics using interval arithmetic

julia rigorous-numerics interval-arithmetic

Created 2017-04-02

1,248 commits to master branch, last one 12 days ago

ReachabilityAnalysis.jl JuliaReach

16

193

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,924 commits to master branch, last one 24 days ago

IntervalRootFinding.jl JuliaIntervals

25

129

other

10

Library for finding the roots of a function using interval arithmetic

julia interval-arithmetic root-finding-methods

Created 2017-04-02

220 commits to master branch, last one 15 days ago

graphest unageek

1

100

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 3 months ago

valr rnabioco

25

89

other

8

Genome Interval Arithmetic in R

genome bedtools interval-arithmetic

Created 2016-01-10

995 commits to main branch, last one a day ago

interval-arithmetic mauriciopoppe

9

87

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 2 years ago

IntervalOptimisation.jl JuliaIntervals

21

57

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

37

mit

7

Linear algebra done rigorously

numerics linear-algebra interval-arithmetic

Created 2021-04-13

121 commits to main branch, last one 4 months ago