Pinned Loading

1. Native-Sat-Solver-Package Native-Sat-Solver-Package Public

   SAT Solver NPM Package written in C++

   C++

2. Genetic-Algorithms Genetic-Algorithms Public

   Example of Genetic Algorithms

   Python

3. RBFN-Visualization RBFN-Visualization Public

   Visualization to demonstrate the effectiveness of a RBFN

   Jupyter Notebook

4. Sentiment-Analysis-of-IMDB-Movie-Reviews Sentiment-Analysis-of-IMDB-Movie-Reviews Public

   Sentiment analysis of IMDB movie reviews using NLP

   Python

5. Simple-MLP-Network Simple-MLP-Network Public

   Simple implementation of a 3 layer MLP network using numpy.

   Python

6. HATRA-2022-Paper HATRA-2022-Paper Public

   Research paper from HATRA 2022 on the formal verification of Copilot generated code

   Dafny