utting Goto Github PK
Name: Mark Utting
Type: User
Company: The University of Queensland
Bio: Research interests: software verification; theorem proving; model-based testing; language design; blockchain
Mark Utting's Projects
agilkia
Agilkia Smart Testing Tools
be24_watchface
A WearOS WatchFace with a single 24-hour hand, to help you live 'slow' and keep in touch with nature.
blackboardquizmaker
A python script which lets you create multiple choice question pools with LaTeX math expressions and embed images, and upload them to Blackboard!
blended_learning_dashboard
A Dashboard for students to track their Blended Learning progress.
conway.wy
An HTML5 Canvas Implemetation of Conway's Game of Life written in Whiley
govhack2016
GovHack 2016 competition
govhack2016b
GovHack 2016 Take B.
ict221_bict_explorer
BICT Explorer starting code for ICT221 students.
ict221_boardgame
Starting code for a simple 2D board game.
ict221_garden_planner
Initial code for ICT221 Garden Planner
ict221_mathgame
Initial Week 1 code for MathGame.
jaza
Jaza is an Animator for the Z formal specification language
priorityqueue
A PriorityQueue implementation in java with minimum binary heap
usc-cir
Curriculum Information Repository experiments.
usc_cave
Software for the Visualisation CAVE at the University of the Sunshine Coast
whiley2boogie
Translator from the Whiley programming language to the Boogie Intermediate Verification Language
whiley_examples
whileycompiler
The Whiley Compiler (WyC)
whileycompilercollection
A compiler framework for managing the Whiley Compiler and related tooling.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.