Mark Marron (mrkmarron)

mrkmarron

Geek Repo

Company:Microsoft

Location:Redmond, WA

Home Page:http://research.microsoft.com/en-us/um/people/marron/

Github PK Tool:Github PK Tool

Mark Marron's repositories

logpp

An experimental next generation logging framework for JavaScript and fluent.

Language:TeXLicense:MITStargazers:65Issues:4Issues:7

node-chakracore-time-travel-debugger

Visual Studio Code extension for adding NodeChakraCore Time-Travel Debugging

Language:TypeScriptLicense:NOASSERTIONStargazers:23Issues:2Issues:5

RFSDemoJS

Our remote file server demo program for showing diagnostic traces and TTD.

Language:JavaScriptLicense:MITStargazers:9Issues:3Issues:1

WorkItemTrackerDemo

A simple demo program for getting started with Node.js with TTD.

Language:JavaScriptLicense:NOASSERTIONStargazers:3Issues:2Issues:0

BosqueLanguage

The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

ChakraCore

ChakraCore is the core part of the Chakra Javascript engine that powers Microsoft Edge

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

DiagnosticsBuddy

A set of utilities to help manage diagnostic traces produced by NodeChakraCore.

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

Memalyzer

Memory analysis tools

Language:JavaScriptLicense:MITStargazers:0Issues:3Issues:0
Language:ElmLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

NativeLogger

A log framework that leverages runtime support for ultra-low overhead logging

Language:TeXStargazers:0Issues:3Issues:1

node-chakracore

Node.js on ChakraCore :sparkles::turtle::rocket::sparkles:

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

open-developer-platform

Delivering open source software development best practices while enforcing security and legal compliance for the financial services industry .

Language:ShellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

TTNodeTesting

Test driver for Time-Travel Node implementation.

Language:JavaScriptStargazers:0Issues:5Issues:0

vscode

Visual Studio Code

Language:TypeScriptLicense:MITStargazers:0Issues:3Issues:0

vscode-chrome-debug-core

A library for implementing VS Code debug adapters for targets that implement the Chrome Debugging Protocol.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

vscode-node-debug2

A VS Code debug adapter that supports debugging Node via the Chrome Debugging Protocol.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

z3guide

Tutorials and courses for Z3

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0