mmcloughlin

Aurora InnovationPittsburgh, PA

Pinned Repositories

go
The Go programming language
Language:Go131k 3.3k 68.9k18.4k
addchain
Cryptographic Addition Chain Generation in Go
Language:Go192 6 5913
avo
Generate x86 Assembly with Go
Language:Go2.9k 34 16792
cryptofuzz
Fuzzing Go crypto
Language:Go74 5 133
geohash
Golang geohash library
Language:Go566 15 2150
globe
Globe wireframe visualizations in Golang
Language:Go1.6k 22 749
mathfmt
Document mathematical Go code beautifully
Language:Go203 4 94
meow
Meow hash for Golang
Language:Go126 2 108
pearl
Tor relay implementation in Golang
Language:Go74 7 38
profile
Simple profiling for Go
Language:Go76 3 02

mmcloughlin's Repositories

mmcloughlin/avo
Generate x86 Assembly with Go
Language:Go2.9k 34 16792
mmcloughlin/globe
Globe wireframe visualizations in Golang
Language:Go1.6k 22 749
mmcloughlin/geohash
Golang geohash library
Language:Go566 15 2150
mmcloughlin/mathfmt
Document mathematical Go code beautifully
Language:Go203 4 94
mmcloughlin/addchain
Cryptographic Addition Chain Generation in Go
Language:Go192 6 5913
mmcloughlin/profile
Simple profiling for Go
Language:Go76 3 02
mmcloughlin/finsky
Google Play API for Python
Language:Python64 5 811
mmcloughlin/luhn
Generate and verify Luhn check digits
Language:Python46 2 414
mmcloughlin/md4
Assembly-optimized MD4 hash algorithm in Go
Language:Go18 2 11
mmcloughlin/gophercon
Notes from Gophercon
11 3 04
mmcloughlin/openflights
OpenFlights data in Golang format
Language:Go10 2 01
mmcloughlin/cuptisamples
NVIDIA CUPTI samples mirror.
Language:Shell7 3 03
mmcloughlin/ssarules
SSA rules description language in the Go compiler
Language:Go6 2 0
mmcloughlin/bib
BibTeX references for your Go source code
Language:Go5 2 32
mmcloughlin/cite
Cite snippets in your godoc
Language:Go5 2 5
mmcloughlin/hwwasm
Experiment in Hardware Intrinsics for WebAssembly
Language:TeX4 2 0
mmcloughlin/hwwasmtime
Experimental Wasmtime fork with Hardware Intrinsics
Language:Rust4 1 0
mmcloughlin/aslp
Example implementation of Arm's Architecture Specification Language (ASL)
Language:OCaml1 1 0
mmcloughlin/arrival
Instruction-selection verifier for the Cranelift compiler.
Language:Rust0 0
mmcloughlin/arrival-data
ISLE Verification Evaluation Data
1 0
mmcloughlin/arrival-oopsla25-artifact
OOPSLA 2025 Artifact Evaluation for Scaling Instruction-Selection Verification against Authoritative ISA Semantics
Language:Python
mmcloughlin/aslp-rpc
RPC connectors for aslp for OCaml and c++
mmcloughlin/easy-smt
Easy SMT solver interaction
Language:Rust0 0
mmcloughlin/isla
Symbolic execution tool for Sail ISA specifications
Language:Rust1 0
mmcloughlin/monoasm
In-memory x86-64 assembler for JIT compiler.
Language:RenderScript0 0
mmcloughlin/revive
🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
Language:Go1 0
mmcloughlin/sha1cd
SHA1 implementation with collision detection.
Language:Go0 0
mmcloughlin/verus
Verified Rust for low-level systems code
Language:Rust1 0
mmcloughlin/verus-analyzer
A Verus compiler front-end for IDEs (derived from rust-analyzer)
Language:Rust0 0
mmcloughlin/wasmtime
A fast and secure runtime for WebAssembly
Language:Rust1 0