calebh

Senior Member of the Technical Staff at Draper Laboratory

Draper LaboratoryCambridge, MA

Pinned Repositories

ConstraintBlog
Code for the blog about typechecking by solving constraints
Language:F#1 2 00
differentiablesha256
A fully differentiable implementation of SHA256
Language:Python11 5 11
dihash
Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
Language:Python16 4 10
GPUSurfaceEvolver
Evolve a 3D softbody mesh in CUDA, Tufts Computational Physics course
Language:C++2 2 00
Juniper
Language:F#101 7 219
juniper-lang
Juniper extension for VS Code
1 2 00
maestroflow
Language:JavaScript30
ObjectDetectionExample
Deep neural network object detection example for Unity
Language:C#7 1 04
unicycle-boston
Unicycle Boston website
Language:HTML20

calebh's Repositories

calebh/ObjectDetectionExample
Deep neural network object detection example for Unity
Language:C#7 1 04
calebh/GPUSurfaceEvolver
Evolve a 3D softbody mesh in CUDA, Tufts Computational Physics course
Language:C++2 2 00
calebh/spring18
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
Language:Coq1
calebh/deferred-shading
Language:C++2 0
calebh/GravityGun
A small Unity game demo where you shoot a soccer ball into a goal with a gravity gun
Language:C#
calebh/TDSErepo
A simulation of the Time-Dependent Schrödinger Equation
Language:Python