Skip to content
Avatar
🔮
λ
🔮
λ
221 followers · 252 following

Sponsoring

@fasterthanlime

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Highlights

Organizations

@cosmos @ooc-lang @HackEPFL @epfl-lara @SpinResearch @informalsystems
Block or Report

Block or report romac

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.

Report abuse

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

Report abuse

Pinned

  1. informalsystems/hermes Public

    IBC Relayer in Rust

    Rust 290 183

  2. epfl-lara/stainless Public

    Verification framework and tool for higher-order Scala programs

    HTML 299 47

  3. SpinResearch/RustySecrets Public

    🔑 Threshold Shamir's secret sharing in Rust

    Rust 232 31

  4. oxid-light Public

    Prototype functional programming language with refinement types, powered by Inox

    Scala 7 1

  5. react-if Public

    🌗 Render React components conditionally

    TypeScript 843 52

  6. lfc-haskell Public

    🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

    Haskell 7

1,321 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to informalsystems/hermes, informalsystems/hermes-api-doc, cosmos/ibc-rs and 12 other repositories

Contribution activity

December 2022

Created 21 commits in 3 repositories

Created a pull request in cosmos/ibc-rs that received 4 comments

Track code coverage with cargo-llvm-cov and codecov.io

Closes: #236 Description https://app.codecov.io/github/cosmos/ibc-rs PR author checklist: Added changelog entry, using unclog. Added tests. L…

+57 −0 • 4 comments
Opened 9 other pull requests in 3 repositories
Reviewed 7 pull requests in 3 repositories
Opened 3 issues in 2 repositories
informalsystems/hermes 2 closed
cosmos/ibc-rs 1 closed
47 contributions in private repositories Dec 1 – Dec 14

Seeing something unexpected? Take a look at the GitHub profile guide.