Discover @prattmic Open Source projects

Michael Pratt (@prattmic)

prattmic

Stars
177
Global Rank 135,485 (Top 5 %)
Followers 430
Following 107
Registered almost 13 years ago
Most used languages

Go
38.1 %

C
14.3 %

Python
9.5 %

Verilog 4.8 %

C++
4.8 %

Vim Script
4.8 %

Rust
4.8 %

Assembly
4.8 %

Shell
4.8 %

Jupyter Notebook
4.8 %

TeX
4.8 %
Location 🇺🇸 United States
Country Total Rank 30,539
Country Ranking

Assembly
491

Verilog 790

C
2,263

Vim Script
3,221

TeX
4,538

Rust
4,671

Go
4,690

Shell
9,108

F4OS

A small RTOS for ARM Cortex-M4F microcontrollers.

embedded-bazel

A Bazel workspace for embedded systems

arm-cortex-m4-hardfloat-toolchain

A full GNU toolchain for building for the Cortex-M4 with full hardware floating point calling conventions.

benchfmt-convert

Convert various benchmarking formats to benchfmt

stm32f4-autopilot

An autopilot built on the STM32F4-Discovery platform

rust-micro

Rust for microcontrollers

armv7m-emulator

An ARMv7-M emulator, written in Go

gvrun

Simple sandboxing with gVisor

gnucash_analysis

Analyze GnuCash data with Pandas

Jupyter Notebook

ghostblog

Python Ghost Library

dotfiles

LC-3b

LC-3b CPU in Verilog

waldo

Low power GPS tracker

codesearch

markdown-pgo

Source code for https://go.dev/blog/pgo

panda-cub

Panda Cub, a tiny OS-like thing for the PandaBoard

ARC-ICFP-2012

scratch

Scratchpad for bug reproducers and so on

NCSU-Schedule-Parser

Parses NCSU class schedules for manipulation (like adding to Google Calendar)

icfp2015

MIRI Fan Club ICFP 2015 entry

Resume

My resume in LaTeX