An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
-
Updated
Aug 21, 2025 - Coq
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
This repository showcases all the features I learned from Apple's visionOS workshop, including SwiftUI, Model3D, RealityView, ImmersiveSpace, Anchors, Sky Spheres, USDZ, Ambient Audio, Spatial Audio, Notifications, and more.
VITRO-ASEMIC was cultivated with mouth bacteria, agar, Photoshop, Illustrator, and FontForge. The process started by digitizing three petri dishes that were marked in the forms of the seven Henderson’s typtoms in order to cultivate consciousness that is beyond the human.
The four HTML applets are part of the dissertation "Parallelized Approaches to Conformal Mappings with applications to real-time calligraphy" of Lena Polke at the Technical University of Munich. The code is written in CindyJS.
A group of many serif typefaces, named for sixteenth-century Parisian engraver Claude Garamond, generally spelled as Garamont in his lifetime. Garamond-style typefaces are popular to this day and often used for book printing and body text. Ideal for book typesetting, formal invitations, and editorial design.
Add a description, image, and links to the ornaments topic page so that developers can more easily learn about it.
To associate your repository with the ornaments topic, visit your repo's landing page and select "manage topics."