keikun555
My objective is to compute time-intensive algorithms more accurately and efficiently while automatically verifying their correctness.
Cornell UniversityIthaca, NY
Pinned Repositories
.konfig
Config files for my own environment
bloke
Optilize Bril with STOKE
bolt
bril
an educational compiler intermediate representation
Butter
CornellCS6115
CornellCS6120
advanced compilers
CornellCS6120Task
Tasks from Cornell University's CS 6120 Course
keikun555.github.io
My Personal Website
PureFreeFood
For 2019 Summer Hack a Thanos
keikun555's Repositories
keikun555/Butter
keikun555/PureFreeFood
For 2019 Summer Hack a Thanos
keikun555/.konfig
Config files for my own environment
keikun555/keikun555.github.io
My Personal Website
keikun555/bloke
Optilize Bril with STOKE
keikun555/bolt
keikun555/bril
an educational compiler intermediate representation
keikun555/CornellCS6115
keikun555/CornellCS6120
advanced compilers
keikun555/CornellCS6120Task
Tasks from Cornell University's CS 6120 Course
keikun555/docker-tlatoolbox
TLA Toolbox in a Docker container
keikun555/EasyThesaurus
keikun555/KPrint
A linux GUI for printing with lpc/lpr commands
keikun555/PyEQ
keikun555/sampleproject
A sample project that exists for PyPUG's "Tutorial on Packaging and Distributing Projects"
keikun555/llvm-pass-skeleton
example LLVM pass
keikun555/pl.cs.cornell.edu
Website for PL@Cornell
keikun555/SparseTriangularSolve
Optimizing the sparse triangular solve algorithm in C/C++ using OpenMP
keikun555/StoryTeller
simple story teller web app
keikun555/SwatCourseScraper
Scrapes course descriptions
keikun555/SwatGithubExtract
Extracts Swarthmore's GitHub repos
keikun555/SwatPrereqView
Swarthmore college course prerequisite visualizer
keikun555/tex_compact_bib
Tool to make really compact bibs in TeX
keikun555/TriCoCourseSearch
Was for MLH Hackathon 20161203 -- currently growing to a full website!
keikun555/TricoScraper
Scraper for trico.haverford.edu
keikun555/WAVFilter
keikun555/whoson