GitHunt

Shadaj Laddad

shadaj

Building @hydro-project, a framework for correct and performant distributed systems. PhD from UC Berkeley.

AWS
San Francisco

Organizations

Languages

Scala52%Rust16%Python12%Nix8%Lean4%Dockerfile4%C#4%

Top Repositories

Repositories

112
SH
shadaj/syn-match

Pattern match `syn` expressions with quote-like syntax and `#` bindings.

Rust00Updated 2 weeks ago
SH
shadaj/nix-configs

No description provided.

Nix40Updated 2 weeks ago
SH
shadaj/slinky

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

Scala67055Updated 4 weeks ago
frontendreactscalascalajsslinky
SH
shadaj/cyberchase-lean

Lean proof of Cyberchase S1E18 "Problem Solving in Shangri La"

Lean00Updated 1 month ago
SH
shadaj/GameOfLife

Conway's Game Of Life using Scala and Processing

Scala253Updated 2 months ago
SH
shadaj/tree-sitter-c2rustFork

A fork of Tree Sitter with a pure Rust runtime for WASM support

Rust5310Updated 2 months ago
SH
shadaj/cs61c-env

Dockerized environment for the CS61c class at UC Berkeley

Dockerfile10Updated 3 months ago
SH
shadaj/llm-continuations

An experiment in continuation-passing style for very long-running tool calls

Rust10Updated 3 months ago
SH
shadaj/neuro-thinkgear

A Scala library for connecting to Neurosky headsets.

Scala122Updated 4 months ago
SH
shadaj/hydroFork

A high-level distributed programming framework for Rust

00Updated 6 months ago
SH
shadaj/sudoku

A sudoku solver in Scala.

Scala60Updated 7 months ago
SH
shadaj/sccacheFork

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.

00Updated 7 months ago
SH
shadaj/scala-native-wasm

Running Scala in WebAssembly through Scala Native

Scala1072Updated 8 months ago
SH
shadaj/scalacon-live-coding

No description provided.

Scala111Updated 9 months ago
SH
shadaj/expo-template-scala

Create React Native apps in Scala with Scala.js, Slinky, and Expo

Scala308Updated 10 months ago
SH
shadaj/scalapy-tensorflow

Static facades for using TensorFlow in ScalaPy

Scala3512Updated 12 months ago
pythonscalascalapytensorflow
SH
shadaj/romeo-juliet

Reactive Romeo and Juliet

Scala153Updated 1 year ago
SH
shadaj/python-genaiFork

Google Gen AI Python SDK provides an interface for developers to integrate Google's generative models into their Python applications.

00Updated 1 year ago
SH
shadaj/scalapy-numpy

Static facades for using NumPy in ScalaPy

Scala2414Updated 1 year ago
numpyscala
SH
shadaj/nixpkgsFork

Nix Packages collection

Nix00Updated 1 year ago
SH
shadaj/create-react-scala-app.g8

Create React apps in Scala with no build configuration.

Scala7715Updated 1 year ago
reactscalascala-jsslinkywebpack
SH
shadaj/pgvector-rustFork

pgvector support for Rust

00Updated 1 year ago
SH
shadaj/rust-analyzer-proc-macro-types

Reproducer for a Rust Analyzer bug with type hints and completions inside proc macros

Rust00Updated 2 years ago
SH
shadaj/dafnyFork

Dafny is a verification-aware programming language

C#00Updated 2 years ago
SH
shadaj/skyplaneFork

🔥 Blazing fast bulk data transfers between any cloud 🔥

Python00Updated 2 years ago
SH
shadaj/collidium

A scala.js based port of the original Collidium game.

Scala102Updated 2 years ago
SH
shadaj/cargo-distFork

📦 shippable application packaging for Rust

00Updated 3 years ago
SH
shadaj/python-analysis

A dynamic analysis framework for Python

Python30Updated 3 years ago
SH
shadaj/fluid-quotes

No description provided.

Scala100Updated 3 years ago
SH
shadaj/family-matcher

No description provided.

Python00Updated 3 years ago

Gists

Recent Activity