Skip to content
View squared-star's full-sized avatar
1 follower · 0 following

Block or report squared-star

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

Popular repositories Loading

  1. validation-rs validation-rs Public

    Don't stop at first error. A validation library in Rust.

  2. coproducts-lean coproducts-lean Public

  3. populated-rs populated-rs Public

    Non-empty collection types with guaranteed 1 or more elements.

    Rust

  4. dependently-typed-core-language-swift dependently-typed-core-language-swift Public

    An implementation of Cedille Core type checker and parser in Swift

    Swift

  5. block-array-swift block-array-swift Public

    An implementation of Resizable Arrays in Optimal Time and Space by Brodnik et al. to reduce copying overhead

    Swift

  6. cedille2 cedille2 Public

    Forked from cedille/cedille2

    Rust