🎨

Bhargav Kulkarni bhargavkulk

🎨

Ph.D. Student @ University of Utah

bhargavkulk / ProgramsAndProofs.lean

Last active January 23, 2026 01:59

	namespace NatList

	-- We define the set of NatLists:
	-- 1. nil is a NatList
	-- 2. If head is a Nat and tail is NatList
	-- then head :: tail is a NatList
	inductive NatList: Type
	\| nil: NatList
	\| cons (head : Nat) (tail : NatList) : NatList

bhargavkulk / steps.txt

Created July 5, 2024 15:29

bhargavkulk / output.txt

Created June 28, 2024 16:34

bhargavkulk / test.mjs

Created June 28, 2024 16:27

	import { strict as assert } from 'node:assert';

	const frmla = '(FPCore (a b c):name "quadp (p42, positive)"' +
	"(let ([d (sqrt (- (* b b) (* 4 (* a c))))])" +
	"(/ (+ (- b) d) (* 2 a))))"

	const sample = (await(await fetch('http://127.0.0.1:8000/api/sample', { method: 'POST', body: JSON.stringify({
	formula: frmla, seed: 5 }) })).json())

	const SAMPLE_SIZE = 8000

bhargavkulk / pool.cpp

Created March 1, 2022 06:38

dsa pool question

	#include <iostream>
	#include <vector>

	using namespace std;

	using Matrix = vector<vector<int>>;

	int i = 1;

	void recur(Matrix &matrix, int cx, int cy, int size, int px, int py) {

bhargavkulk / main.rs

Created March 1, 2022 05:08

test

bhargavkulk / Makefile

Last active October 3, 2021 07:37

	main: test.y test.l
	bison -d test.y
	flex test.l
	gcc -o $@ main.c test.tab.c lex.yy.c -lfl
	@echo "Compiled main."

bhargavkulk / main.c

Created October 3, 2021 06:23

bhargavkulk / bot.py

Created July 10, 2021 16:22

D.GG archiver bot o7

bhargavkulk / sen1answers.sql

Created February 25, 2021 15:14

Scenario 1 answers lab 4