ornaments

There are 1 repository under ornaments topic.

• uwplse / pumpkin-pi

  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

  coqcoq-pluginpumpkin-patchdevoidornamentsproof-reusedependent-typesalgebraic-ornamentspumpkin-piequivalencestransportproof-repairrepairrefactoringproof-refactoringproof-assistants
  Language:Coq 49
• VITRO-ASEMIC

  Thomas-Krajna / VITRO-ASEMIC

  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.

  asemicartworkbioartbiologydingbatsfontfontforgetypetype-assetsasemicadobeadobe-illustratoradobe-photoshopdesigndesignerornamentspetri-dishpetridishtypeface-fontvitro
  5

• andywiecko / Classy-PhD-thesis-template

  LaTeX PhD thesis template

  ebgaramondlatexornamentsphd-thesis
  Language:TeX 1

• WorkshopSchool / GenerativeSnowflakes

  generate algorithmic snowflakes for laser cutting

  jewelrylasercutornaments
  Language:Processing 1

• LenaPolke / Parallelized-Approaches-to-Conformal-Mappings

  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.

  conformalitycalligraphycindyjslogarithmic-spiralsornaments
  Language:JavaScript 0