Discover @pointoflight Open Source projects

Vedant Chavda (@pointoflight)

pointoflight

Stars
5
Global Rank 1,435,387 (Top 50 %)
Registered over 5 years ago
Most used languages

Python
40.0 %

Coq 20.0 %

C#
20.0 %

Assembly
20.0 %
Location 🇮🇳 India
Country Total Rank 61,713
Country Ranking

Coq 12

Assembly
436

C#
3,425

MUP

indoor_nav

coq_proofs

Some proofs in the Coq proof assistant. Inductive definitions of trees and proofs of a few properties about trees. Proof of irrationality of square root 2. ✍🏻✍🏻

svg_tf

tweet_classification

A project in NLP using Python. Used probability and TF-IDF and Bag-of-words to make a classifier that detects tweets that contain information about a disaster.