Human-In-the-Loop Data Analytics

MIT private ASKEM repo

A framework for testing compilers' type checkers

Utilized attention incorporated UNet model for conditional image generation using Flow Matching with Conditional Optimal Transport Objective

An API to pass data down in the sub-function inspired by React Context

Framework and Language for Neurosymbolic Programming.

k-Induction and Bounded Model Checking for Probabilistic Programs

A Python interpreter, in Python.

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Source code and data for the paper "Differentiable Particle Filters: End-to-End Learning with Algorithmic Priors"

LLM verified with Monte Carlo Tree Search

Provides Okta authentication for awscli

A notebook extension to perform OAuth2 flows (e.g. token, code) in Jupyter notebooks.

Unified CLI tool for streamlined AWS operations, enhancing developer productivity

Freer parameterized monads

A Scala implementation of parsing with derivatives

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Construct ZLayers automagically (w/ helpful compile-time errors)

Graded Monad in Scala

It's React, but in Python

Material for the "Custom Compile-Time Errors with a Vengeance" talk

Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms

PRODeep: A Platform for Robustness Verification of Deep Neural Networks

Reparameterization Gradient for Non-differentiable Models

Automated SMC with Probabilistic Program Proposals, for the Gen PPL.

Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"