Found 82 repositories(showing 30)
uwplse
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
uwplse
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
uwplse
Library of useful utility functions for Coq plugins
Cs-Ar-Os
A modification for Heroes 3: Horn of the Abyss which provides more gameplay variety, balance, quality of life options and various improvements / minor additions. All changes are meant to be balanced, lore-friendly and relatively small.
uwplse
Fixpoint to eliminator translation in Coq
zombifiedpotato
A mod that adds some fantasy style items, blocks, mobs and other random stuff to minecraft, specifically made for the private Pumpkin Patch SMP server!
melnock
Pumpkin patch to practice github and open source for DevC Pittsfield Hacktoberfest event
brussell98
No description available
Ralph94
Creative pumpkin patch farm app using a parallax carousel for pumpkin selection. Simple, neat & easy to use.
cfmdobbie
LibGDX game
DonutLaser
A small and simple sokoban game that was used to learn Godot
mariejs
Student project from Codecademy
eisegesis-623
No description available
Nyan-Games
Repository for Pumpkin Patchworks
uwplse
Public webpage for Pumpkin Patch
enhancedrock
cozy game about running an autumn food truck
learn-bryan
Halloween themed 3D Godot Demo
quiellll
Short Tower Defense game made with Unity3D.
uwplse
A prototype PUMPKIN PATCH interface with Git integration
maevans
An OpenGL program that incorporates lighting to create a a scene consisting of solid objects that can be viewed in three dimensions under user control
vyPal
Pumpkin's official Plugin Marketplace
yang70
No description available
Griefcat
No description available
Storiedpumpkin0
A repo for custom vm creation things
ronaldkinch
class example
heyKANB
No description available
harrisonBirkner
No description available
ShawnReardon
A MakeCode project
CallumC1
A small, mock-up site for an online game retailer
Multi-threaded Pumpkin Patch simulator