bhi5hmaraj

followers

following

stars

Google

Hyderabad

Bhishmaraj's starred repositories

hledger-flow

An hledger/ledger-cli workflow focusing on automated statement import and classification

Language:HaskellGPL-3.017100

hledger

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Language:HaskellGPL-3.0302200

twitter-export

Tool for mass export of Twitter followers to Substack, Ghost, or email list.

MIT15900

autotest

An automatic test generator framework for competitive programming problem-setting.

Language:Python800

bigbluebutton

Complete open source web conferencing system.

Language:JavaScriptLGPL-3.0855700

greenlight

A really simple end-user interface for your BigBlueButton server.

Language:RubyLGPL-3.079600

bromite

Bromite is a Chromium fork with ad blocking and privacy enhancements; take back your browser!

GPL-3.0586400

epirust

An agent-based epidemiology simulation framework built in Rust

Language:RustAGPL-3.010000

jemdoc

Light text markup for creating websites

Language:Python28500

grocy

ERP beyond your fridge - Grocy is a web-based self-hosted groceries & household management solution for your home

Language:BladeMIT683500

covid19india-react

Tracking the impact of COVID-19 in India

Language:JavaScriptMIT685700

mossum

Moss summarizer

Language:PythonMIT18600

COVID-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

Signal-Desktop

A private messenger for Windows, macOS, and Linux.

Language:TypeScriptAGPL-3.01462500

COVID-19

2019 novel coronavirus repository

Language:TeX63300

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookMIT2310100

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.0166600

predictionbook

Find out just how sure you should be, and get better at being only as sure as the facts justify.

Language:Ruby7200

cp-notebook

General Resources for Competitive Programming

Language:C++CC0-1.0247600

cadical

CaDiCaL SAT Solver

Language:C++MIT37500

setcover

Open source solvers for the Discrete Optimization set cover assignment.

Language:PythonMIT10700

or-tools

Google's Operations Research tools:

Language:C++Apache-2.01122800

libminizinc

The MiniZinc compiler

Language:C++NOASSERTION51300

algorithms

Bug-tracking for Jeff's algorithms book, notes, etc.

scholar.py

A parser for Google Scholar, written in Python

Language:Python211400

arxiv.py

Python wrapper for the arXiv API

Language:PythonMIT110500

cryptominisat

An advanced SAT solver

Language:C++NOASSERTION82300

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1032900

nupic-legacy

Numenta Platform for Intelligent Computing is an implementation of Hierarchical Temporal Memory (HTM), a theory of intelligence based strictly on the neuroscience of the neocortex.

Language:PythonAGPL-3.0633800

peaty

Peaty: an exact solver for the vertex cover problem

Language:C++GPL-3.0200