Skip to content
View bksaiki's full-sized avatar

Block or report bksaiki

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Minim Minim Public

    Scheme-like language

    C 1

  2. mpmfnum-rust mpmfnum-rust Public

    A numbers library in Rust

    Rust 1

  3. generic-flonum generic-flonum Public

    Racket package for various IEEE-754 floating point formats

    Racket 2

  4. herbie-fp/herbie herbie-fp/herbie Public

    Optimize floating-point expressions for accuracy

    HTML 775 33

  5. FPBench/FPBench FPBench/FPBench Public

    A standard for floating point accuracy benchmarks

    Racket 44 20

  6. uwplse/ruler uwplse/ruler Public

    Rewrite Rule Inference Using Equality Saturation

    Rust 119 9