Abasifreke

account-security-quickstart-node

A simple implementation of a Twilio Account Security protected site using NodeJS and Angular.

Android-BluetoothScannerFinishedProject

Create a Bluetooth Scanner With Android's Bluetooth API

android-credentials

Migrated:

CS_Fundamentals

Staying sharp! Sandbox for LeetCode + OOP Design

e-healthApp

Java and PVS Code. I created this app with the aim of reducing deaths caused by conflicting medication. The e-healthApp warns the user whenever he/she has conflicting medications from the same (but usually different) doctor(s).

FrontEndProjects

Continuous learning sandbox for ever-changing frontend tech stack.

MVC

Java Code: Reviewing the MVC design patterns for a simple UI problem.

NASA-s-PVS

Using NASA's PVS theorem proving library to formally specify COMPLETE, DISJOINT and WELL-DEFINED software specifications.

ROI

An Eiffel Project: Take csv input (files) and returns/projects Return on Investments of Companies esp. banks and investment companies.

Syntax

Abasifreke/ROI

An Eiffel Project: Take csv input (files) and returns/projects Return on Investments of Companies esp. banks and investment companies.

Abasifreke/CS_Fundamentals

Staying sharp! Sandbox for LeetCode + OOP Design

Abasifreke/FrontEndProjects

Continuous learning sandbox for ever-changing frontend tech stack.

Abasifreke/MVC

Java Code: Reviewing the MVC design patterns for a simple UI problem.

Abasifreke/account-security-quickstart-node

A simple implementation of a Twilio Account Security protected site using NodeJS and Angular.

Abasifreke/Android-BluetoothScannerFinishedProject

Create a Bluetooth Scanner With Android's Bluetooth API

Abasifreke/android-credentials

Migrated:

Abasifreke/BufferManagerProject

A project to implement a buffer manager project - practice. Mostly Java with custom APIs

Abasifreke/CashMeOutside

E-Commerce Bookstore Project

Abasifreke/CodingPractice

Java, HTML, XML, JS, C, SQL, etc code: Folder for code snippets that have no optimal folder.

Abasifreke/coreui-coreui-free-react-admin-template

CoreUI React is free React admin template based on Bootstrap 4

Abasifreke/e-healthApp

Java and PVS Code. I created this app with the aim of reducing deaths caused by conflicting medication. The e-healthApp warns the user whenever he/she has conflicting medications from the same (but usually different) doctor(s).

Abasifreke/GooglePrep

Mostly Java Code: My practice of my Google Interviews. TODO: I probably should add the problems I'm solving for better context

Abasifreke/NASA-s-PVS

Using NASA's PVS theorem proving library to formally specify COMPLETE, DISJOINT and WELL-DEFINED software specifications.

Abasifreke/How_to_make_a_language_translator

This is the code for "How to Make a Language Translator - Intro to Deep Learning #11' by Siraj Raval on YouTube

Abasifreke/JavaPathFinder

Using JavaPathFinder and underlying deductive and algorithmic methods for ensuring the safety and correctness of mission critical systems (e.g. medical systems, nuclear reactors and train systems). To perform model checking/verification/validation for software certification

Abasifreke/Kill_Switch_3.0

This app should be able to locate other users of the app within a given map radius.

Abasifreke/Kill_Switch_4.0

Better upgrade of kill_switch_3.0

Abasifreke/MusicManuscriptPDFConverter

Built a desktop app that receives Music Manuscripts in .txt and .doc formats and formats/outputs them in PDF format.

Abasifreke/MyFirstWebsite

My First Website

Abasifreke/recognito

Java Speaker Recognition Framework

Abasifreke/RoboBag

Abasifreke/RuntimeDefenders3

Abasifreke/SMSRetrieverAPIDemo

Demo of the Google API of SMS retriever

Abasifreke/Syntax---A-context-analysis-app

Brief: A research paper summarizer. ------------- More Details: Worked with my friend Dora Hu aka Kyarie, to build a .NET application to help summarize the "story" in an piece of writing. Currently (research) students laboriously go through volumes of text in hopes to understand the main substance of a paper. We wished to automate that. So we build Syntax which took in a research paper, and summarized its key points. The prototype of this project was developed by us in less than 24 hours as a MS hackathon using Microsoft's NPL APIs.

Abasifreke/SystemSpecificationAndRefinement

Using Rodin for specifying computer systems (sequential, concurrent and embedded). Specification (via set theory and predicate logic), modelling, abstraction, refinement and formal reasoning are undertaken before code development so that systems are correct by construction under the stated assumptions.

Abasifreke/Team2-1

Abasifreke/Test

A test for experimenting with Project Folder uploads on Github

Abasifreke/voice-vector

A deep neural network for finding text-independent speaker embedding written in tensorflow