gtarawneh
Software Engineering, Formal Methods, Verification, EDA Tools, Computational Neuroscience
Newcastle UniversityNewcastle upon Tyne, UK
Pinned Repositories
copter
Optimization tool for composable systems
dom
Tool for visualizing and exploring natural language text using graphs
languagetool-sublime
Proof-reading and grammar checker for English, French, German, Polish and 20+ other languages
omega
Embedded C Firmware for a PIC-based Stepper Motor Controller
pstack
POETS Virtualization Stack
rushhour
Rush Hour in C# (solver, enumerator, GUI)
sudoku
Sudoku in C# (solver, enumerator, GUI)
vue-challenge-task
Challenge task in component design for front-end developers
sync-models
Tool for creating synchronous models and behavioral specifications for asynchronous circuits
bisect-tau
EDA tool for characterizing the metastability resolution time constant (Tau) of bistable circuits
gtarawneh's Repositories
gtarawneh/languagetool-sublime
Proof-reading and grammar checker for English, French, German, Polish and 20+ other languages
gtarawneh/sudoku
Sudoku in C# (solver, enumerator, GUI)
gtarawneh/dom
Tool for visualizing and exploring natural language text using graphs
gtarawneh/rushhour
Rush Hour in C# (solver, enumerator, GUI)
gtarawneh/copter
Optimization tool for composable systems
gtarawneh/omega
Embedded C Firmware for a PIC-based Stepper Motor Controller
gtarawneh/vue-challenge-task
Challenge task in component design for front-end developers
gtarawneh/blogger-clone
Blogging Engine
gtarawneh/simpnoc
Simple Parameterizable Network-on-Chip
gtarawneh/pstack
POETS Virtualization Stack
gtarawneh/beautify-matlab-plots
Generate publication-quality vector images from Matlab plots
gtarawneh/colorpen
Easy color styling for terminals
gtarawneh/goc
Tool for instantiating hardware graphs from JSON descriptions
gtarawneh/matlab-for-humans
Matlab abstractions and programming patterns that make sense
gtarawneh/minesweeperflags
Minesweeper Flags in VB.NET
gtarawneh/node-hello-world
gtarawneh/omega-ui
C# Front-end for Stepper Motor Controller Omega
gtarawneh/papertool
Command line tool to index and search large volumes of research papers
gtarawneh/pegjs-sublime-syntax
Sublime Text 3 syntax highlighting for PEG.js
gtarawneh/pml
POETS Application Generator