Pinned Repositories
distribution-algebra
A python package that implements an easy-to-use interface for random variables, statistical distributions, and their algebra.
graphsat
A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.
igl2020
Lean project for Fall 2020
kaprekar
Visualizing Kaprekar's process : 6174
leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
M77232917
This is a project to look at some basic statistical properties of the 50th known Mersenne prime M77232917
multihypergraph
A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.
normal-form
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)
traffic-study
Project with Prof. Sowers studying the traffic data of NYC taxis, provided by Prof. Work. Project partner: Derrek Yager. UIUC Mathematics Department.
vaibhavkarve's Repositories
vaibhavkarve/leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
vaibhavkarve/multihypergraph
A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.
vaibhavkarve/igl2020
Lean project for Fall 2020
vaibhavkarve/graphsat
A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.
vaibhavkarve/normal-form
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)
vaibhavkarve/distribution-algebra
A python package that implements an easy-to-use interface for random variables, statistical distributions, and their algebra.
vaibhavkarve/kaprekar
Visualizing Kaprekar's process : 6174
vaibhavkarve/M77232917
This is a project to look at some basic statistical properties of the 50th known Mersenne prime M77232917
vaibhavkarve/traffic-study
Project with Prof. Sowers studying the traffic data of NYC taxis, provided by Prof. Work. Project partner: Derrek Yager. UIUC Mathematics Department.
vaibhavkarve/awm_colloquium_2019
vaibhavkarve/awm_talk
vaibhavkarve/axiomatic-geometry
vaibhavkarve/binet
Implement and time functions that produce the n-th term in the Fibonacci sequence in languages that *I* care about.
vaibhavkarve/Boreas
Non-Unique Games: representation theory calculation
vaibhavkarve/braindump
knowledge repository managed with org-mode and org-roam.
vaibhavkarve/cpython
The Python programming language
vaibhavkarve/esper
An ECS (Entity Component System) for Python
vaibhavkarve/hello-world
General ideas open comments on the project that I am working on
vaibhavkarve/Learning-SageMath
A repository of my SageMath notebooks. I mostly use these to keep track of my progress, and keep a record of the things I've learned.
vaibhavkarve/lftcm2020
Lean for the Curious Mathematician 2020
vaibhavkarve/lox
My implementation of the lox programming language, in Java and in Python
vaibhavkarve/mathlib
Lean mathematical components library
vaibhavkarve/org-noweb
Easier Literate Programming using Org mode
vaibhavkarve/small-init
A small Emacs initialization file.
vaibhavkarve/sunshine_data
vaibhavkarve/theory_cs_seminar_2019
Theory CS Seminar @ UIUC
vaibhavkarve/vaibhavkarve
vaibhavkarve/vaibhavkarve.github.io
A website that will host my CV and info to latest projects.