intel-hexl
|
1.2.4-2 |
0 |
0.00
|
Intel® Homomorphic Encryption Acceleration Library accelerates modular arithmetic operations used in homomorphic encryption |
ruy16109
|
2022-04-17 05:25 (UTC) |
intel-decimalfp
|
2.0-1 |
0 |
0.00
|
Software implementation of the IEEE 754-2008 Decimal Floating-Point Arithmetic specification |
yhager
|
2017-05-11 00:17 (UTC) |
hxqz-git
|
r3.0b6defd-1 |
0 |
0.00
|
hex arithmetic quiz |
tckmn
|
2016-11-05 19:09 (UTC) |
haskell-fixed
|
0.3-1 |
1 |
0.00
|
Signed 15.16 precision fixed point arithmetic |
berberman
|
2020-06-27 12:34 (UTC) |
gpc-git
|
r1146.e7691789-1 |
0 |
0.00
|
Geometic Algebra Algorithms Optimizer (Precompiler) |
Oshgnacknak
|
2022-06-05 10:19 (UTC) |
gmp-hg
|
6.1.99.hg17327-1 |
1 |
0.00
|
A free library for arbitrary precision arithmetic |
marzoul
|
2017-03-14 20:27 (UTC) |
gaol-git
|
r6.6e6cd9a-1 |
0 |
0.00
|
GAOL (not Just Another Interval Arithmetic Library) is a C++ Interval Arithmetic Library that offers all operators required by interval constraint solvers. |
orphan
|
2019-10-03 14:49 (UTC) |
gaalop-git
|
r911.d752c334-1 |
0 |
0.00
|
Geometic Algebra Algorithms Optimizer |
Oshgnacknak
|
2022-06-02 19:36 (UTC) |
fmlib
|
1.3-5 |
0 |
0.00
|
A fortran multiple-precision arithmetic library |
orphan
|
2018-08-05 06:45 (UTC) |
flopoco
|
4.1.3-1 |
1 |
0.00
|
A generator of arithmetic cores (Floating-Point Cores, but not only) for FPGAs (but not only) |
marzoul
|
2021-11-23 22:44 (UTC) |
emawp-git
|
20171209-1 |
0 |
0.00
|
MERA-400 AWP (high-precision arithmetic) library |
greblus
|
2017-12-09 21:08 (UTC) |
drm_tools
|
1.1.26-1 |
9 |
0.00
|
Collection of small command line tools that are sometimes helpful in specific instances. |
orphan
|
2016-01-31 16:24 (UTC) |
cqrlib
|
1.1.3-1 |
0 |
0.00
|
an ANSI C library for quaternion arithmetic and rotation math |
leepesjee
|
2015-12-03 00:26 (UTC) |
carl-storm
|
14.25-1 |
0 |
0.00
|
The Computer ARithmetic and Logic library for the probabilistic model checker Storm |
volkm
|
2023-07-03 20:50 (UTC) |
carl-master14-git
|
c++14.18.12.r9.gb9ff46d9-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library (master14 branch) |
volkm
|
2019-08-28 13:17 (UTC) |
carl-git
|
17.08.r2.g8f78930b-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library |
s14h
|
2017-08-17 08:55 (UTC) |
carl
|
17.08-1 |
1 |
0.00
|
An Open Source C++ Library for Computer Arithmetic and Logic |
nafur
|
2017-09-08 07:40 (UTC) |
blaze-git
|
3.4.r84.d518c7ccf-1 |
2 |
0.00
|
An open-source, high-performance C++ math library for dense and sparse arithmetic. |
nameful.tee
|
2018-09-24 16:41 (UTC) |
bitwuzla-git
|
0.4.0.r51.g31330f2-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
bitwuzla
|
0.5.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-30 00:55 (UTC) |
bedtools
|
1:2.31.1-1 |
16 |
0.00
|
powerful toolset for genome arithmetic |
malacology
|
2024-01-16 20:38 (UTC) |
android-x86-gmp
|
6.3.0-1 |
0 |
0.00
|
A free library for arbitrary precision arithmetic (android) |
hipersayan_x
|
2024-01-17 19:39 (UTC) |
android-x86-64-gmp
|
6.3.0-1 |
0 |
0.00
|
A free library for arbitrary precision arithmetic (android) |
hipersayan_x
|
2024-01-17 19:39 (UTC) |
android-armv7a-eabi-gmp
|
6.3.0-1 |
0 |
0.00
|
A free library for arbitrary precision arithmetic (android) |
hipersayan_x
|
2024-01-17 19:38 (UTC) |
android-aarch64-gmp
|
6.3.0-1 |
0 |
0.00
|
A free library for arbitrary precision arithmetic (android) |
hipersayan_x
|
2024-01-17 19:37 (UTC) |
aaflib
|
0.1-1 |
0 |
0.00
|
An implementation of the mathematical construct of affine arithmetics in C++. |
orphan
|
2019-10-08 18:35 (UTC) |