Harsh Gupta
hargup
Languages
Loading contributions...
Top Repositories
Repositories
75My personal website at
A Curl wrapper written in Lean 4 to be used as a http-client in lean 4 projects
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Clone of https://r.jina.ai which is deployable locally
No description provided.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A CLI Chess engine written in Lean 4
No description provided.
An AI web browsing framework focused on simplicity and extensibility.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
Unfollower twitter accounts in bulk.
No description provided.
No description provided.
No description provided.
Wikipedia Gender Index (WIGI), uses Wikidata to produce gender-related statistic on Wikipedia Biographies
No description provided.
Twitter Search for COVID19 resources in your city
Converts hindi text in shusha to ascii shusha font
A time tracker application brought to you by ClojureScript with all the goodness of re-frame. This is the front-end to https://github.com/nilenso/time-tracker.
Fuzzy clustering interface prototype.
Python scripts to import StackExchange data dump into Postgres DB.
Repository for the problems of the event "Source Code" at Kshitij 2016
A Slack Export archive viewer that allows you to easily view and share your Slack team's export
My solutions to the sicp problems
Resume
A simple CRUD app in Clojure.