Shadaj Laddad
shadaj
Building @hydro-project, a framework for correct and performant distributed systems. PhD from UC Berkeley.
Languages
Top Repositories
Write Scala.js React apps just like you would in ES6
Running Scala in WebAssembly through Scala Native
Create React apps in Scala with no build configuration.
A fork of Tree Sitter with a pure Rust runtime for WASM support
Static facades for using TensorFlow in ScalaPy
Create React Native apps in Scala with Scala.js, Slinky, and Expo
Repositories
112Pattern match `syn` expressions with quote-like syntax and `#` bindings.
No description provided.
Write Scala.js React apps just like you would in ES6
Lean proof of Cyberchase S1E18 "Problem Solving in Shangri La"
Conway's Game Of Life using Scala and Processing
A fork of Tree Sitter with a pure Rust runtime for WASM support
Dockerized environment for the CS61c class at UC Berkeley
An experiment in continuation-passing style for very long-running tool calls
A Scala library for connecting to Neurosky headsets.
A high-level distributed programming framework for Rust
A sudoku solver in Scala.
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
Running Scala in WebAssembly through Scala Native
No description provided.
Create React Native apps in Scala with Scala.js, Slinky, and Expo
Static facades for using TensorFlow in ScalaPy
Reactive Romeo and Juliet
Google Gen AI Python SDK provides an interface for developers to integrate Google's generative models into their Python applications.
Static facades for using NumPy in ScalaPy
Nix Packages collection
Create React apps in Scala with no build configuration.
pgvector support for Rust
Reproducer for a Rust Analyzer bug with type hints and completions inside proc macros
Dafny is a verification-aware programming language
🔥 Blazing fast bulk data transfers between any cloud 🔥
A scala.js based port of the original Collidium game.
📦 shippable application packaging for Rust
A dynamic analysis framework for Python
No description provided.
No description provided.