Pinned Repositories
ConstraintBlog
Code for the blog about typechecking by solving constraints
differentiablesha256
A fully differentiable implementation of SHA256
dihash
Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
GPUSurfaceEvolver
Evolve a 3D softbody mesh in CUDA, Tufts Computational Physics course
Juniper
juniper-lang
Juniper extension for VS Code
JuniperSetupLinux
maestroflow
ObjectDetectionExample
Deep neural network object detection example for Unity
calebh's Repositories
calebh/Juniper
calebh/dihash
Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
calebh/differentiablesha256
A fully differentiable implementation of SHA256
calebh/maestroflow
calebh/GPUSurfaceEvolver
Evolve a 3D softbody mesh in CUDA, Tufts Computational Physics course
calebh/calebh.github.io
calebh/ConstraintBlog
Code for the blog about typechecking by solving constraints
calebh/juniper-lang
Juniper extension for VS Code
calebh/JuniperSetupLinux
calebh/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
calebh/unicycle-boston
Unicycle Boston website
calebh/angr_bug_reports
calebh/cupidbot
A Discord bot for dating/matchmaking
calebh/cwatch
Quite possibly the best CLUE based smartwatch in the world
calebh/data-labeling
Data labeling by using program synthesis via Z3
calebh/dxsdk
Collection of DirectX SDK headers to facilitate the build of Apitrace
calebh/goxel
Goxel: Free and Open Source 3D Voxel Editor
calebh/helbling-ng
Github pages for helbli.ng domain
calebh/hourglass
calebh/isingmodel-2
calebh/juniper-functional-reactive
LaTeX source for the Juniper paper
calebh/JuniperSetup
Juniper setup creator for Windows
calebh/language-juniper
Atom language package for Juniper
calebh/litefun
A lightweight C++ wrapper for implementing std::function
calebh/pharmdna
A Firefox extension for integrating 23andme data into PharmGKB
calebh/SoundBar
Source code for the Juniper soundbar demo from ICFP
calebh/trackermon
calebh/uJuniper
uJuniper - Subset of Juniper formalized in the Coq proof assistant
calebh/webgen
calebh/written-proof-of-work