Jekyll website template for personal academic or research group page
Emacs made simple
A Database System for Metamodeling and Method Engineering
HiPS tool features to design and analyze hierarchical Petri nets
A real time inference engine for temporal logical specifications
Project website
A Jekyll theme for academia
SonicBOOM: The Berkeley Out-of-Order Machine
A visual form designer/generator base on Vue.js
Share some experiences in researching and practicing React Native
HTML/CSS/JS and Markdown Playground For Web Designers and Developers
A graphical Finite State Machine (FSM) designer.
A generic modeling tool for both relational and geographical databases
Web API server by VDM-SL
Repository for dependencies between software design artefacts
A software tool for Embroidery craft artisans for design digitization
Object conversion for an object-oriented world.
Searching and Sorting algorithms