Matthew Dempsky (mdempsky)

mdempsky

Geek Repo

Company:@google

Location:San Francisco, CA

Github PK Tool:Github PK Tool


Organizations
golang

Matthew Dempsky's repositories

gocode

An autocompletion daemon for the Go programming language

Language:GoLicense:MITStargazers:909Issues:39Issues:83

maligned

Tool to detect Go structs that would take less memory if their fields were sorted.

Language:GoLicense:BSD-3-ClauseStargazers:529Issues:18Issues:13

unconvert

Remove unnecessary type conversions from Go source

Language:GoLicense:BSD-3-ClauseStargazers:375Issues:12Issues:39

unbed

Remove implicit field traversals from Go source

Language:GoLicense:BSD-3-ClauseStargazers:35Issues:5Issues:4

deferfuzz

Fuzz Go defer/panic/recover

Language:GoStargazers:26Issues:3Issues:0
Language:GoLicense:BSD-3-ClauseStargazers:4Issues:2Issues:0
Language:GoLicense:BSD-3-ClauseStargazers:3Issues:1Issues:0
Language:GoStargazers:3Issues:3Issues:0
Language:GoLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

go

The Go programming language

Language:GoLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

adb

Activist Database Project

Language:GoStargazers:0Issues:2Issues:0

alc-mobile-api

Backend service for the ALC app

Language:GoStargazers:0Issues:2Issues:0

alc-mobile-app

React Native application for ALC built with Expo

Language:TypeScriptStargazers:0Issues:2Issues:0
Language:CSSStargazers:0Issues:3Issues:0
Language:GoStargazers:0Issues:3Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

coqutil

Coq library for tactics, basic definitions, sets, maps

Language:CoqLicense:MITStargazers:0Issues:2Issues:0

ddcutil

Query and change Linux monitor settings using DDC/CI and USB

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

dxesf-docs

DxE SF Bay Area Documents

Language:HTMLStargazers:0Issues:2Issues:0

frap

Formal Reasoning About Programs

Language:CoqStargazers:0Issues:2Issues:0
Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:1

redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines

Language:RacketLicense:AFL-3.0Stargazers:0Issues:0Issues:0

syzkaller

syzkaller is an unsupervised, coverage-guided kernel fuzzer

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

upo

The Ur/Web People Organizer

Language:UrWebLicense:NOASSERTIONStargazers:0Issues:2Issues:0

urweb

The Ur/Web programming language

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:2Issues:0