Pinned Repositories
5th
brim
A FPLang filled the the *brim* with features
cheem-scheme
CSF363-baseline
csf372-os-examples
debate-timer
Text-Editor
TOC
Formalization of DFAs, NFAs, and equivalence of DFAs and NFAs
trinity
A game engine bundled with a interpreted language
herbie
Optimize floating-point expressions for accuracy
bhargavkulk's Repositories
bhargavkulk/csf372-os-examples
bhargavkulk/CSF363-baseline
bhargavkulk/TOC
Formalization of DFAs, NFAs, and equivalence of DFAs and NFAs
bhargavkulk/brim
A FPLang filled the the *brim* with features
bhargavkulk/debate-timer
bhargavkulk/.dotfiles
bhargavkulk/.emacs.d
My Emacs config
bhargavkulk/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. ⚡
bhargavkulk/archie
A minimal Hugo Theme
bhargavkulk/bhargavkulk.github.io
bhargavkulk/browser
bhargavkulk/cs6110-final-project
bhargavkulk/cs6110-project
Optimize floating-point expressions for accuracy
bhargavkulk/CSF241-Project
bhargavkulk/djot.zed
bhargavkulk/economancy
An Economancy player in Racket
bhargavkulk/FPBench
A standard for floating point accuracy benchmarks
bhargavkulk/lean-gitpod
Lean gitpod env
bhargavkulk/linux
Linux kernel source tree
bhargavkulk/personal-website
This is my personal website
bhargavkulk/racket-zed
bhargavkulk/RC_project
bhargavkulk/resume-pandoc
LaTeX resume template for Pandoc based on Jason R. Blevins' template
bhargavkulk/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
bhargavkulk/signals
bhargavkulk/sudoku-racket
bhargavkulk/test
Zachary Tatlock's Website
bhargavkulk/verified-imp
bhargavkulk/wags-1314
bhargavkulk/websitetemplate