abasifreke Goto Github PK

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:

buffermanagerproject

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

cashmeoutside

E-Commerce Bookstore Project

codingpractice

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

coreui-coreui-free-react-admin-template

CoreUI React is free React admin template based on Bootstrap 4

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.

googleprep

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

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

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

kill_switch_3.0

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

kill_switch_4.0

Better upgrade of kill_switch_3.0

musicmanuscriptpdfconverter

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

mvc

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

myfirstwebsite

My First Website

nasa-s-pvs

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

recognito

Java Speaker Recognition Framework

robobag

roi

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

runtimedefenders3

smsretrieverapidemo

Demo of the Google API of SMS retriever

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.

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.

team2-1

test

A test for experimenting with Project Folder uploads on Github

voice-vector

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