Dakota's repositories
SAT-Solver
Boolean SAT Solver implemented using the C++ Standard Library
CIFAR-10-Model
Approach to the CIFAR-10 dataset using deep learning CNN model.
Fashion-MNIST-DCGAN
Deep Convolutional Generative Adversarial Network (DCGAN) trained on the Fashion MNIST dataset.
Genetic-Algorithms
Example of Genetic Algorithms
HATRA-2022-Paper
Research paper from HATRA 2022 on the formal verification of Copilot generated code
native-addon-sample-package
NPM package written in C++ using Node-API
Native-Sat-Solver-Package
SAT Solver NPM Package written in C++
NServiceBus-Demo
Simple NServiceBus demo project based on an article from ParticularDocs.
RBFN-Visualization
Visualization to demonstrate the effectiveness of a RBFN
Sentiment-Analysis-of-IMDB-Movie-Reviews
Sentiment analysis of IMDB movie reviews using NLP
Simple-MLP-Network
Simple implementation of a 3 layer MLP network using numpy.
X86-Assembly-Game
Game written in X86 Assembly to be playable in DosBox-X