bblum Goto Github PK
Name: ben blum
Type: User
Company: dropbox
Bio: programming languages and concurrency・client sync @ dbx・cmu phd・they/them
Location: pittsburgh, pa, usa
Name: ben blum
Type: User
Company: dropbox
Bio: programming languages and concurrency・client sync @ dbx・cmu phd・they/them
Location: pittsburgh, pa, usa
test cases we studence wrote in the F10 semester of 15-411
Advent of Code
static context checking for kernel codebases
a chess engine i wrote
a foray into the kolmogorov complexity of english word lists
a language for image processing and computational photography
stateless model checking for thread libraries, kernels, and transactional memory
Version of landslide for students to use.
the landslide codebase (old simics version)
A Deckbuilder for Android:Netrunner LCG
just a big something i made for oopsla
just a little something i made for oopsla
serious research papers
CS162 skeleton code for group projects.
Brief accountings of related research papers I read.
a safe, concurrent, practical language
silly implementation of lambda calculus in rust
card shuffling visualisation
stuff I have done for sigbovik -- http://sigbovik.org
a StepMania 5 theme for the post-ITG community
slides for talks and lectures I have given
landslide master's thesis and related talks
automatic solver for the hit game "hello wordl"
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.