Pinned Repositories
COMP1511Resources
COMP1927_16s2
dao
Semantic graph traversal library. Built by Rhumbl
gojs-react
A set of React components to manage GoJS Diagrams, Palettes, and Overviews
gojs-react-basic
An example project demonstrating usage of GoJS and React together
GTPyhop
A task-planning system based on Pyhop, but generalized to plan for both goals and tasks.
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Lunatics
mcapl
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
nft
Crypto Collectible NFT Tutorial with ERC-721 Tokens
Tammeryy's Repositories
Tammeryy/COMP1511Resources
Tammeryy/COMP1927_16s2
Tammeryy/dao
Semantic graph traversal library. Built by Rhumbl
Tammeryy/gojs-react
A set of React components to manage GoJS Diagrams, Palettes, and Overviews
Tammeryy/gojs-react-basic
An example project demonstrating usage of GoJS and React together
Tammeryy/GTPyhop
A task-planning system based on Pyhop, but generalized to plan for both goals and tasks.
Tammeryy/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Tammeryy/Lunatics
Tammeryy/mcapl
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Tammeryy/nft
Crypto Collectible NFT Tutorial with ERC-721 Tokens
Tammeryy/pddl-ethical
Python parsing and translation scripts from PDDL with ethical rules as defined in my PhD thesis to PDDL with action costs.
Tammeryy/PulseSensorPlayground
An Arduino library based on Joel Murphy's and Yury Gitman's Pulse Sensor Amped Sketch
Tammeryy/react-d3-graph
Interactive and configurable graphs with react and d3 effortlessly
Tammeryy/react-gojs-example
Example to show how to use gojs in a React/Redux environment
Tammeryy/react-sweet-state
Shared state management solution for React
Tammeryy/SoftwareEngines
Tammeryy/SydBuild2017S2_Green
Tammeryy/unified-planning
The AIPlan4EU Unified Planning Library
Tammeryy/UNSW
Course materials
Tammeryy/website-jake