Pinned Loading

1. haskell-snippets haskell-snippets Public

   Notes I made on Functional Programming and Haskell, while reading and solving exercises from Will Kurt's Get Programming in Haskell, the book Real World Haskell and Wikibooks's Haskell Tutorials.

   Haskell 4

2. implementing-scheme implementing-scheme Public

   Implementing a interpreter for Scheme/LISP-like language in Haskell.

   Haskell 4

3. Face-Recognition-on-live-data Face-Recognition-on-live-data Public

   Figuring out the identity of a person from a video stream, using TensorFlow's Inception v3 Neural Retraining and OpenCV

   Python 17 6

4. Stock-market-analysis Stock-market-analysis Public

   Using machine learning to predict stock market trends.

   Python 8 6

5. CellularAutomata CellularAutomata Public

   Code for cellular automata at https://verma314.github.io/

   HTML 2

6. Research-on-AI-Assisted-Formal-Methods/ai-assisted-formal-verification Research-on-AI-Assisted-Formal-Methods/ai-assisted-formal-verification Public

   Research on LLM-assisted formal verification