Information Flow Analysis for C# — Understand What Your Code Really Does

Scala implementation of ILC, with benchmarks

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Helper toolkit for creating your own Lean 4 UserWidgets

An IDE extension for debugging trait errors in Rust.

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Hazel, a live functional programming environment with typed holes

Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.

An implementation of "A Pretty Expressive Printer" in Racket

Code for the LIVE 2022 paper "System-Specific Interpreters Make Megasystems Friendlier"

AI-powered quiz generator

a simple total pure functional language, eventually to have powerful static checking and optimization

Unopinionated utilities for resizeable split views

Move fast from data science prototype to pipeline. Capture, analyze, and transform messy notebooks into data pipelines with just two lines of code.

A lezer-integrated Markdown parser

A tool for managing cargo workspaces and their crates, inspired by lerna

Probabilistic programming system for fast and exact symbolic inference

Dynamically scoped variables in Rust

A cargo plugin to generate Xcode Instruments trace files

Build rich content websites with Markdown and React

Experimental type level programming in Rust

React component which can aid navigation between set of react components

A macro for defining type operators in Rust.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

magma circuits

A Scratch extension and python-based server for WS2801 led strips connected to Raspberry Pi

Catalog of Visual Math Tools