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.

ChewTPTP

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

custom-webpack

A full-featured Webpack + vue-loader setup with hot reload, linting, testing & css extraction.

Dissertation

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

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.

Using-D3js

Vue-3-Firebase

All course files for the Vue 3 & Firebase Udemy course.

vue-apps

vue-apps-src

wilder