Pinned Repositories
codesweep
deferfuzz
Fuzz Go defer/panic/recover
dnscurve
Tools for DNS curve implementation
go114-fuzz-build
gocode
An autocompletion daemon for the Go programming language
maligned
Tool to detect Go structs that would take less memory if their fields were sorted.
notinheap
rangerdanger
Tool to detect range statements iterating over addressable arrays
unbed
Remove implicit field traversals from Go source
unconvert
Remove unnecessary type conversions from Go source
mdempsky's Repositories
mdempsky/gocode
An autocompletion daemon for the Go programming language
mdempsky/maligned
Tool to detect Go structs that would take less memory if their fields were sorted.
mdempsky/unconvert
Remove unnecessary type conversions from Go source
mdempsky/unbed
Remove implicit field traversals from Go source
mdempsky/deferfuzz
Fuzz Go defer/panic/recover
mdempsky/notinheap
mdempsky/go114-fuzz-build
mdempsky/hermes
mdempsky/gosh
mdempsky/nomono
mdempsky/benchdivmagic
mdempsky/gclint
mdempsky/advent2020
mdempsky/dxesf-tally
mdempsky/go
The Go programming language
mdempsky/adb
Activist Database Project
mdempsky/alc-mobile-api
Backend service for the ALC app
mdempsky/alc-mobile-app
React Native application for ALC built with Expo
mdempsky/casigmaphi-web
mdempsky/cmddeps
mdempsky/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.
mdempsky/coqutil
Coq library for tactics, basic definitions, sets, maps
mdempsky/ddcutil
Query and change Linux monitor settings using DDC/CI and USB
mdempsky/dxesf-docs
DxE SF Bay Area Documents
mdempsky/frap
Formal Reasoning About Programs
mdempsky/mytools
mdempsky/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
mdempsky/syzkaller
syzkaller is an unsupervised, coverage-guided kernel fuzzer
mdempsky/upo
The Ur/Web People Organizer
mdempsky/urweb
The Ur/Web programming language