shrohanmohapatra Goto Github PK
Name: Shrohan Mohapatra
Type: User
Bio: An aspiring physicist and computer scientist. Specialised in algorithm design, theoretical physics, programming language theory and software testing ...
Name: Shrohan Mohapatra
Type: User
Bio: An aspiring physicist and computer scientist. Specialised in algorithm design, theoretical physics, programming language theory and software testing ...
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 violating manifolds in Anti de-Sitter space.
The open-source repo for docs.github.com
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 calculus etc.
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 input space partitioning using first-order two-dimensional cellular automata. Zenodo. http://doi.org/10.5281/zenodo.3880404), here in the specific example with Game of Life for automated Lie-algebraic input space partitioning.
A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
A Mathematica package by the name 'Polynomial adaptive cellular automata' to get the quasi-normal modes for the particles oscillating in the background of a black hole.
A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)
A Sympy-powered Kivy app for the Painlevé property of nonlinear dispersive PDEs and auto-Bäcklund transformations
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.
Design and implementation of a fast Earley parser with some test cases in Wolfram language ....... also a ready-made lexer with parsing with the grammar for all the regular languages :) :) ....
I am implementing some Mathematica functions using Sympy such as SeriesCoefficient, GeneratingFunction etc...
A computer algebra system written in pure Python
ThreadGo: A multithreaded hybrid acceleration of the matrix multiplication
A repository of Mathematica notebooks useful in a report of mine: "A beginner's guide of weak gravity conjecture"
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.