Deven Joshi

@d3xvn ยท User

GitHub profile โ†— ยท Compare

Developer Relations Lead @GetStream ๐Ÿฅ‘ | Google Developer Expert, Flutter ๐Ÿ’™

getstream.ioAmsterdam, The Netherlands1,229 followers57 repositories

Repositories

d3xvn/ergo

AI-powered IDE for Lean 4 theorem proving. Integrates Claude as a proof assistant with full tool use, live tactic state, inline diagnostics, Unicode input, and Lake build support. Built with Flutter.

โ˜… 17DartForks 1

d3xvn/fractals

Real-time GPU Julia set explorer built with Flutter fragment shaders

โ˜… 4DartForks 1

d3xvn/atomic

Real-time GPU atomic orbital explorer built with Flutter fragment shaders

โ˜… 0DartForks 0

d3xvn/adk-samples

Sample implementations of Google's Agent Development Kit (ADK) with various agent types, tool integrations, and orchestration patterns.

โ˜… 21PythonForks 4

d3xvn/shake

A Flutter package to detect phone shakes with directional information.

โ˜… 103DartForks 72

d3xvn/agent-skills

Give your AI coding agent the ability to build, query, and manage Stream - Chat, Video, Feeds, and Moderation.

โ˜… 0Forks 0

d3xvn/ez_animation

Easy Animations - No Controllers, No Tickers, Only the necessary parts.

โ˜… 69DartForks 6

d3xvn/flutter_randomize

(Flutter Create Submission) Flutter Randomize is an application that builds random Flutter layouts when the device is shaken.

โ˜… 26DartForks 0

d3xvn/passcode

A Flutter widget to enter passcodes.

โ˜… 20DartForks 4

d3xvn/etch

A Simplified, Declarative Way To Use CustomPaint In Flutter

โ˜… 58DartForks 0

d3xvn/FlutterGREWords

An app to learn new words for the GRE examination and demostrate Flutter PageViews.

โ˜… 84DartForks 21