-
05:04
(UTC -04:00)
Popular repositories Loading
-
matrix_multiply_quadratic
matrix_multiply_quadratic PublicThis source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
-
ExplorePLT
ExplorePLT PublicA 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…
-
parsingTutorialsOnPython
parsingTutorialsOnPython PublicSeveral 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
-
GameOfLifeALISP
GameOfLifeALISP PublicSome 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…
-
WeakGravityConjecture
WeakGravityConjecture PublicA repository of Mathematica notebooks useful in a report of mine: "A beginner's guide of weak gravity conjecture"
If the problem persists, check the GitHub status page or contact support.