Verma314
Follow
-
-
-
-
learn-tt Public
Forked from jozefg/learn-ttA collection of resources for learning type theory and type theory adjacent fields.
UpdatedApr 21, 2025 -
-
-
-
-
CellularAutomata Public
Code for cellular automata at https://verma314.github.io/
-
-
implementing-scheme Public
Implementing a interpreter for Scheme/LISP-like language in Haskell.
-
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.
-
beeware Public
Forked from beeware/beewareA meta-package simplifying the installation of the BeeWare suite of tools
-
-
-
-
Stock-market-analysis Public
Using machine learning to predict stock market trends.
-
-
notes and solutions from 'From Mathematics to Generic Programming'
1 UpdatedJul 6, 2019 -
LearningReact-forms Public
-
-
-
hello-world Public
Forked from taleravidhi/hello-worldlearning how to use github
1 UpdatedFeb 21, 2019 -
Figuring out the identity of a person from a video stream, using TensorFlow's Inception v3 Neural Retraining and OpenCV
-
-
-
-
Pl-SQL-tutorial Public
messing around with PL/SQL, SQL, because I am so bad at it.
-
Object-Oriented-Programming Public
Testing various java thingys
-
ThinkComplexity2 Public
Forked from AllenDowney/ThinkComplexity2Book and code for Think Complexity, 2nd edition