willcrichton

split

Unopinionated utilities for resizeable split views

codehike

Marvellous code walkthroughs

aquascope

Interactive visualizations of Rust at compile-time and run-time

LibCST

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

lineapy

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

cargo-instruments

A cargo plugin to generate Xcode Instruments trace files

cargo-workspaces

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

mind-bicycles

List of future of programming projects

ace-diff

A diff/merging wrapper for Ace Editor built on google-diff-match-patch

magma

magma circuits

living-papers

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

markdown

A lezer-integrated Markdown parser

Visual-Math-Tools

Catalog of Visual Math Tools

sppl

Probabilistic programming system for fast and exact symbolic inference

moniker

Automagical variable binding library for Rust

type-operators-rs

A macro for defining type operators in Rust.

typ

Experimental type level programming in Rust

javascript-crossword

A browser-based crossword puzzle implemented in JavaScript

hwang

Fast sparse video decode

stand-in-language

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

quizicist

AI-powered quiz generator

rust-foundation-community-grant

pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

fluid-let

Dynamically scoped variables in Rust

unionfind

react-sequence

React component which can aid navigation between set of react components

generative-grading

ws2801scratch

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

stlc

Everything about the simply-typed lambda calculus in Lean

ssi-live22

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