mattmccutchen Goto Github PK

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

braid

Simple tool to help track vendor branches in a Git repository.

braid-lfs-issues

cross-fetch

Universal WHATWG Fetch API for Node, Browsers and React Native.

definitelytyped

The repository for high quality TypeScript type definitions.

definitelytyped.github.io

Website content for definitelytyped.org

dtslint

A utility built on TSLint for linting TypeScript declaration (.d.ts) files.

eventhawk

Event-sharing web application that allows users to promote local activities.

git-scm.com

Current version of the http://git-scm.com site

hci.csail.mit.edu

MIT CSAIL HCI Website

icfp2020-captions

material-ui

React components that implement Google's Material Design.

mattmccutchen

Config files for my GitHub profile.

meteor

Meteor, the JavaScript App Platform

meteor-build-plugin-deps-repro

See https://github.com/meteor/meteor/pull/6352

meteor-concurrent-transactions-repro

meteor-debug-yield-repro

meteor-exception-source-map-test

meteor-minimongo-concurrent-observe-repro

meteor-mongo-ejson-null-repro

https://github.com/meteor/meteor/issues/9692

meteor-npm-autoinstall-test

Demo app for Meteor npm automatic installation feature (https://github.com/meteor/meteor/issues/6848)

meteor-npm-dependency-loss-repro

meteor-react-error-tracker-repro

meteor-react-packages

Meteor packages for a great React developer experience

meteor-transactions

App level transactions for Meteor + Mongo

meteor-typescript-modules-test

Simple example of a Meteor TypeScript app using external modules (SystemJS or CommonJS) to reference things defined in other files.

migratingtable

Azure Table Wrapper Library for live migration between backing tables

monaco-typescript

TypeScript/JavaScript language support for the Monaco Editor

ng-noty

ng-noty is a service for displaying notifications

psharp

safer asynchronous programming in .NET