pranavashok Goto Github PK

academicpage

Academic page

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

avhtat

Tathva is a techno-management fest of National Institute of Technology, Calicut.

bilingual-dictionary

Konkani-English dictionary and vocabulary list

bootstrap-datepicker

A datepicker for @twitter bootstrap forked from Stefan Petre's (of eyecon.ro), improvements by @eternicode

cgm-ml

Child Growth Monitor Machine Learning

cminetstats

The CMI Internet Speed Project

commonfund

A system which helps roommates share common expenses and manage debts and settlements

covid19sim

dafont-dl

Useful for downloading fonts in bulk from Dafont.

electricitymaps-contrib

A real-time visualisation of the CO2 emissions of electricity consumption

fastutil

fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.

gesturex

hmm-python

implementamodelchecker

indexing

perl script to recursively index and dump a selection of epub titles from a folder based on a last modified range

konkani-keyboard

An onscreen konkani keyboard

kvr-officer

laby

Learn programming, playing with ants and spider webs ;-)

libopendrive

Small, lightweight C++ library for handling OpenDRIVE files

mailstats

Local scripts to download gmail mailbox and produce basic statistics/graphs about senders/connectivity

musicpsa

Learn from midi files and create new compositions.

online-treasurehunt

passff

zx2c4 pass manager extension for Firefox, Chrome and Opera

personal-finance

pool-physics

pranavashok.github.io

Personal landing page

prism

The main development version of the PRISM model checker.

prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

psycopg2-managed-connection

Thread-safe connection manager for psycopg2 connections.