Submissions by prathyvsh

Space Pins: Spatial annotation layer for OSes

Scrappy: Make little apps for you and your friends

Catalog of Novel Operating Systems

Algebraic Datatypes, Combinatorial Structures, and Generating Functions

Complex Systems and Möbius Inversion

Corca: Collaborative Math Editor

Dualities in functional programming

The imprecision is the point: How to design UIs for AIs

From Quantum to Cosmos: Interactive visualization of scales of universe

Bridging the gap between neural networks and functions

Interface Futures: Catalog of Futuristic UIs

Adjacent Possible: Experiments in creating novel user interfaces

Array Algebra

What Design Can Teach Us

Inversion in Movie Tropes: Introductory group theory through Hollywood movies

Lambda Calculus Visualizations Repo

Interface Ideas for Chat Apps

Visual introduction to numerical optimization techniques

Metaphor Systems: A search engine based on generative AI

HaSKI: An FPGA-based SKI calculus evaluator written in Haskell/Cλash

Diagrammatic Algebra for Hegelian Dialectics