calebh Goto Github PK

angr_bug_reports

calebh.github.io

constraintblog

Code for the blog about typechecking by solving constraints

cupidbot

A Discord bot for dating/matchmaking

cwatch

Quite possibly the best CLUE based smartwatch in the world

data-labeling

Data labeling by using program synthesis via Z3

deferred-shading

differentiablesha256

A fully differentiable implementation of SHA256

dihash

Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"

dxsdk

Collection of DirectX SDK headers to facilitate the build of Apitrace

gpusurfaceevolver

Evolve a 3D softbody mesh in CUDA, Tufts Computational Physics course

gravitygun

A small Unity game demo where you shoot a soccer ball into a goal with a gravity gun

helbling-ng

Github pages for helbli.ng domain

hourglass

isingmodel-2

juniper

juniper-functional-reactive

LaTeX source for the Juniper paper

juniper-lang

Juniper extension for VS Code

junipersetup

Juniper setup creator for Windows

junipersetuplinux

language-juniper

Atom language package for Juniper

litefun

A lightweight C++ wrapper for implementing std::function

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.

maestroflow

objectdetectionexample

Deep neural network object detection example for Unity

pharmdna

A Firefox extension for integrating 23andme data into PharmGKB

soundbar

Source code for the Juniper soundbar demo from ICFP

spring18

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018

tdserepo

A simulation of the Time-Dependent Schrödinger Equation

trackermon