Bhargav Kulkarni's repositories
brim
A FPLang filled the the *brim* with features
Language:Rust000
Language:JavaScript000
.emacs.d
My Emacs config
Language:Emacs Lisp000
anemone
A Zola theme embracing minimalism, focusing on clean CSS while steering clear of resource-heavy JavaScript. Immerse yourself in a seamless user experience, powered by lightning-fast load times. ⚡
Language:HTMLMIT000
archie
A minimal Hugo Theme
MIT000
Language:HTMLMIT000
Language:Racket000
Language:HTMLNOASSERTION000
cs6110-project
Optimize floating-point expressions for accuracy
NOASSERTION000
Language:Assembly000
000
economancy
An Economancy player in Racket
Language:Racket000
FPBench
A standard for floating point accuracy benchmarks
Language:RacketMIT000
lean-gitpod
Lean gitpod env
Language:Lean000
linux
Linux kernel source tree
NOASSERTION000
personal-website
This is my personal website
MIT000
Language:Rust000
Language:PythonGPL-3.0000
resume-pandoc
LaTeX resume template for Pandoc based on Jason R. Blevins' template
Language:Python000
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
MIT000
Language:C000
Language:Racket000
test
Zachary Tatlock's Website
000
Language:Racket000
000
Language:Python000