AAM Visualizer - Web view of an AAM code analysis TraitLang - Constraining a type-level langauge in Rust Fungi Language - Typed language for incremental computation IODyn Language - DSL for incremental computation Type-Level Rust Other Rust projects with types Giraz Collection - Sequence data structure using Adapton Incremental Sorting - Memory-efficient incremental sort RAZ - Random Access Zipper for functional sequence editing IC_Edit - Incremental text editor programmed in rust Sparse Adapton - Uses fewer memo points for efficiency Nominal Adapton - Exposes names for memo table rewriting Graphmovie - A viewer for dynamic graphs WebGL - some experiments with graphics