bmyerz
Senior Software Engineer, Microsoft -- Lecturer of Computer Science, University of Iowa, 2016-2022
University of Iowa, Computer Science
Pinned Repositories
docker-pyopencv
Builds a docker image for OpenCV 3.1.0 with python bindings
guided-inquiry-for-programming-languages
logisim-evolution-a11y
minized-examples
HDL and Application code for the Avnet MiniZed or Digilent Zybo Z7 with Zynq SoC
rubricapp
RubricApp is a web application for evaluating students' professional skills, such as teamwork and communication.
raco
Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer for the Myria project.
SceneDB
Database for OOI CamHD, where video files are indexed by scenes
tpch-myrial
An implementation of TPC-H in the MyriaL language
grappa
Grappa: scaling irregular applications on commodity clusters
grappa-starcluster
bmyerz's Repositories
bmyerz/minized-examples
HDL and Application code for the Avnet MiniZed or Digilent Zybo Z7 with Zynq SoC
bmyerz/guided-inquiry-for-programming-languages
bmyerz/logisim-evolution-a11y
bmyerz/pogil-for-computer-organization
bmyerz/asciinema-player
Web player for terminal session recordings
bmyerz/ashalytics
Computer vision analyses on underwater video http://oceanobservatories.org/streaming-underwater-video/
bmyerz/autograder-example
bmyerz/automatic-joke-generator
It generates as many jokes as you want.
bmyerz/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
bmyerz/images
bmyerz/iowa-computer-science-methods
bmyerz/log2sqlite
Parse logs into a sqlite table
bmyerz/mysql_apps
bmyerz/onnx-mlir
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
bmyerz/OOIVideos
bmyerz/piazza-parse
Parse Piazza content
bmyerz/proj3-starter
bmyerz/project1
bmyerz/project2-alu
bmyerz/project2-alu-fa21
bmyerz/project2-alu-sp21
bmyerz/project2-arm-processor
bmyerz/project2-mips-processor
bmyerz/rc
My work environment: vim, bash, git configs
bmyerz/rplotting
Configurations for ggplot2 plots in R
bmyerz/rubricapp
bmyerz/sample-driven-tracing
Tools for sample-driven tracing of MPI programs
bmyerz/scenedb
Database for OOI CamHD, where video files are indexed by scenes
bmyerz/team-management
Tools for managing student teams, including Canvas, GitHub, and team assignment algorithms
bmyerz/verilog-axis
Verilog AXI stream components