Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / herbie-fp / herbie

Optimize floating-point expressions for accuracy

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/herbie-fp%2Fherbie

Stars: 719
Forks: 32
Open Issues: 17

License: other
Language: HTML
Repo Size: 54.3 MB
Dependencies: 53

Created: over 10 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Topics: developer-tools, floating-point, herbie, numerical-methods, racket, synthesis

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/distribute.yml actions

Bogdanp/setup-racket v1.9 composite
actions-rs/toolchain v1.0.6 composite
actions/checkout master composite

.github/workflows/plugins.yml actions

Bogdanp/setup-racket v1.9 composite
Bogdanp/setup-racket v1.8 composite
actions-rs/toolchain v1.0.6 composite
actions-rs/toolchain v1 composite
actions/checkout master composite

.github/workflows/release.yml actions

Bogdanp/setup-racket v1.9 composite
actions-rs/toolchain v1.0.6 composite
actions/checkout v2 composite
actions/create-release v1 composite
actions/upload-release-asset v1 composite

.github/workflows/tests.yml actions

Bogdanp/setup-racket v1.9 composite
actions-rs/toolchain v1.0.6 composite
actions/checkout master composite

.github/workflows/tools.yml actions

Bogdanp/setup-racket v1.9 composite
actions-rs/toolchain v1.0.6 composite
actions/checkout master composite

.github/workflows/unit-test.yml actions

Bogdanp/setup-racket v1.9 composite
actions-rs/toolchain v1.0.6 composite
actions/checkout master composite

Dockerfile docker

racket/racket 8.5-full build
rust 1.61.0 build

egg-herbie/Cargo.toml cargo

egg-herbie/Cargo.lock cargo

ahash 0.7.6
autocfg 1.1.0
byteorder 1.4.3
cfg-if 1.0.0
egg 0.9.5
env_logger 0.9.3
fxhash 0.2.1
getrandom 0.2.8
hashbrown 0.12.3
indexmap 1.9.1
instant 0.1.12
libc 0.2.137
log 0.4.17
num-bigint 0.4.3
num-integer 0.1.45
num-rational 0.4.1
num-traits 0.2.15
once_cell 1.16.0
proc-macro2 1.0.47
quote 1.0.21
smallvec 1.10.0
symbol_table 0.2.0
symbolic_expressions 5.0.3
syn 1.0.103
thiserror 1.0.37
thiserror-impl 1.0.37
unicode-ident 1.0.5
version_check 0.9.4
wasi 0.11.0+wasi-snapshot-preview1