Skip to content
View jonnadal's full-sized avatar
67 followers · 8 following

Sponsoring

@thestinger
@syncthing
@bitfireAT
@FossifyOrg

Achievements

Achievement: Public SponsorAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@stateright

Block or report jonnadal

Report abuse

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

Report abuse

Popular repositories Loading

  1. fibril fibril Public

    Rust 6

  2. choice choice Public

    A rust library for representing a choice between types.

    Rust 5 1

  3. concorde concorde Public

    Forked from graydon/concorde

    Rust 2

  4. hashable hashable Public

    HashMap and HashSet replacements that implement the Hash trait

    Rust 2

  5. daft daft Public

    Verified code written in the Dafny programming language.

    JavaScript

  6. jonnadal.github.io jonnadal.github.io Public

    HTML