BenChaimberg

followers

following

0

stars

PhD Candidate at Yale University

New Haven, CT

Ben Chaimberg's repositories

swingflask

Swing Paints Flask Revamp

Language:HTML1 5 65

cdk-test-app-dotnet

Test .NET CDK application for reproducing errors and hacking features

Language:C#020

cdk-test-app-ts

Test TypeScript CDK application for reproducing errors and hacking features

Language:TypeScript000

dbbs

An algorithm to beat Michelle Dobbs' creation: ali9n (unfinished)

Language:Python020

iris-bplus-tree

Verifying a B+ tree in the Iris logical framework

Language:Coq030

LastChance

A Last Chance alarm system built for college students who study (and wake up) way too late.

Language:Swift020

pandora-to-spotify

Export Pandara channels to Spotify playlists

Language:Python000

pie

A fork of the Pie language, adding support for binary trees. Work done as part of undergraduate honors thesis in Computer Science at the University of Chicago.

Language:RacketAGPL-3.0010

punchcard

Type-safe AWS infrastructure.

Language:TypeScriptApache-2.0010

quiz

HHS Math Modeling Final Project - Quiz Bowl Tournament

Language:Python020

rust-http-server

A single-threaded HTTP server implemented in Rust.

Language:Rust000

snd_hda_macbookpro

Kernel audio driver for Macs with 8409 HDA chip + MAX98706/SSM3515 amps

Language:C000