manikaran20 Goto Github PK

airhockey

Air Hockey game created using pygame

aossie_scholar

best-websites-a-programmer-should-visit

:link: Some useful websites for programmers.

better_metrics_for_google_scholars

This work is for all the scholars who have a google scholar profile, associated with the idea of providing a better and fairer results to them.

books-inventory

Creating a basic python server-based web application (Database + API + frontend) for a book inventory management. Imagine you are managing a bookstore and need to keep track of inventory (i.e., number of copies) you have on every book. Details of any book can be found by using Google Book API (integrating API’s of Google). On the backeend, keeping track of books (along with their respective ID from Google Book API) and their inventory count. When a book stock goes to zero, it is considered out of stock. Building a web portal, just a public portal where user can directly interact with it. Here are the features of the portal, List out all the books in inventory. Search for a book (using Google Book API). For all the results that show up, indicate whether it is available in inventory or NOT? . Making changes to inventory: Add a new book. Update inventory for an existing book. Remove from the inventory.

code-sleep-python

Some Awesome Projects Implemented in Python :coffee: :computer: :snake:

computationalphilosophy

developer-web-interface

Developer Web Interface for ReactOS by Ayush Kumar Sinha (GSoC 2019 project)

gehri

Gehri is about creating a website which is focused on helping people to calculate the true cost of complex things (e.g. renting a house, buying a house, buying a car, ...)

helllo-world

beginning github

hello_world_solidity

run it locally

html-css

interview_exercises

isabelle

this is Isabelle theorem prover which helps formalizing and proving some paper proofs as well as mathematics proofs

isabelle-1

git mirror of the Munich isabelle hg repository

manikaran20.github.io

matplotlib

matplotlib: plotting with Python

mereology

Mereology

mern-auth

MERN (+ Redux) user authentication boilerplate with Passport.js and JWT

polls

just checking something

scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

smvdu-algos

It provides you an environment to learn how to contribute to an organisation and also practise algorithms.

social-networking

It is basically django app which is work as social networking site

stegosploit

IMAJS meet <img>

sympy

A computer algebra system written in pure Python