Popular repositories Loading

1. matrix_multiply_quadratic matrix_multiply_quadratic Public

   This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

   Python 10 3

2. ChaosInBH ChaosInBH Public

   A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale viol…

   Mathematica 5 4

3. ExplorePLT ExplorePLT Public

   A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda ca…

   Python 4 1

4. WeakGravityConjecture WeakGravityConjecture Public

   A repository of Mathematica notebooks useful in a report of mine: "A beginner's guide of weak gravity conjecture"

   Mathematica 4 2

5. parsingTutorialsOnPython parsingTutorialsOnPython Public

   Several implementations in Python language of some of the parsing techniques such as LL(1) parsing, SLR(1) parsing ,LR(0) parsing and LR(1) parsing.

   Python 3

6. GameOfLifeALISP GameOfLifeALISP Public

   Some work on the paper, "Automated Lie-algebraic input space partitioning using first-order two-dimensional cellular automata" by me (Shrohan Mohapatra. (2020, June 5). Automated Lie-algebraic inpu…

   Mathematica 3 1