Skip to content




  • Pro


@Team846 @payalabs @lynbrookcs @hydro-project @rust-diplomat @scalapy
Block or Report

Block or report shadaj

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


  1. slinky Public

    Write Scala.js React apps just like you would in ES6

    Scala 605 53

  2. Use the world of Python from the comfort of Scala!

    Scala 464 37

  3. Synthesize CRDTs from classic data types with verified lifting!

    Python 105 2

  4. Hydro's low-level dataflow runtime

    Rust 86 15

  5. Use Tree Sitter to parse your own languages in Rust

    Rust 155 3

  6. Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code

    Rust 238 20

863 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to metalift/metalift, shadaj/nix-configs, hydro-project/rust-sitter and 17 other repositories

Contribution activity

November 2022

Created a pull request in NixOS/nixpkgs that received 5 comments

openvscode-server: 1.69.2 -> 1.73.1

Description of changes Update to latest VS Code upstream Things done Built on platform(s) x86_64-linux aarch64-linux x86_64-darwin aarch64-da…

+7 −14 5 comments
Reviewed 7 pull requests in 5 repositories

Created an issue in metalift/metalift that received 1 comment

Support loops in new VC generator

Needed before we can drop the old logic

1 comment
Opened 3 other issues in 2 repositories
16 contributions in private repositories Nov 3 – Nov 17

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