erimcg

YAGL

A Javascript graph library for the Babylonjs 3D Framework

c

Spectrum

Spectrum is a first-order logic theorem prover, written in C++, that implements SIG-Res, an inference system that couples together SInst-Gen and ordered resolution into a single inference system.

Using-D3js

ChewTPTP

ChewTPTP, written in c, is a refutationally complete and sound automated theorem prover for first order theorems.

Dissertation

My dissertation for a Ph.D. in Computer Science.

studybuddy-api

studybuddy-app

Thoracic-Data-2015

Thoracic pulse data from 15 subjects collected before and after exercise in 2015 using a laser Doppler vibrometer.

TIS

Thoracic Identification System (TIS): TIS is a tool used to test the effectiveness of thoracic signals (ECG and carotid pulse) as a biometric.

vue-apps

vue-apps-src

wilder