shadaj
PhD student researching languages for distributed systems at UC Berkeley. Prev @ {@google, @facebook, @apollographql, @Khan, @coursera}
UC Berkeley
Pinned Repositories
exograph
Build production-ready backends in minutes
hydroflow
Hydro's low-level dataflow runtime
katara
Synthesize CRDTs from classic data types with verified lifting!
rust-sitter
Use Tree Sitter to parse your own languages in Rust
scalapy
Use the world of Python from the comfort of Scala!
create-react-scala-app.g8
Create React apps in Scala with no build configuration.
scala-native-wasm
Running Scala in WebAssembly through Scala Native
scalapy-tensorflow
Static facades for using TensorFlow in ScalaPy
slinky
Write Scala.js React apps just like you would in ES6
tree-sitter-c2rust
A fork of Tree Sitter with a pure Rust runtime for WASM support
shadaj's Repositories
shadaj/slinky
Write Scala.js React apps just like you would in ES6
shadaj/create-react-scala-app.g8
Create React apps in Scala with no build configuration.
shadaj/tree-sitter-c2rust
A fork of Tree Sitter with a pure Rust runtime for WASM support
shadaj/expo-template-scala
Create React Native apps in Scala with Scala.js, Slinky, and Expo
shadaj/slinky-styled-components
Slinky wrappers around https://www.styled-components.com
shadaj/collidium
A scala.js based port of the original Collidium game.
shadaj/scalacon-live-coding
shadaj/nix-configs
shadaj/python-analysis
A dynamic analysis framework for Python
shadaj/scala-native
Your favorite language gets closer to bare metal.
shadaj/adventofcode-2021
shadaj/cargo-dist
📦 shippable application packaging for Rust
shadaj/csm_web
Web applications for CS Mentors.
shadaj/dafny
Dafny is a verification-aware programming language
shadaj/diplomat
Experimental rust tool for generating FFI definitions allowing many other languages to call Rust code
shadaj/family-matcher
shadaj/geospatial-video
shadaj/GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
shadaj/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
shadaj/icu4x
Solving i18n for client-side and resource-constrained environments.
shadaj/metalift.github.io
shadaj/nixpkgs
Nix Packages collection
shadaj/pgvector-rust
pgvector support for Rust
shadaj/real-number-one
shadaj/real-number-one-leaderboard
shadaj/rust-analyzer-proc-macro-types
Reproducer for a Rust Analyzer bug with type hints and completions inside proc macros
shadaj/scala-open-letter.github.io
shadaj/skyplane
🔥 Blazing fast bulk data transfers between any cloud 🔥
shadaj/student-store
A Point-of-Sale app I wrote in middle school (and have been maintaining since) for tracking purchases at the student store.
shadaj/website-comments