I am a roboticist and systems developer located in Rock Hill, SC.
Hardware Design Tools
Verilog and SystemVerilog
Quartus, Modelsim, and Verilator
Python and Java
C, C++, and Rust
Haskell, Fortran, and Matlab
HTML5 and LaTeX
These small programs are presented here
to showcase my general coding style.
For examples of languages not shown here, see the projects below,
or visit git.embermckinney.com/embers.
At The Addition
At The Addition is a concert livestream every other Sunday. I was a camera operator for the first two seasons.
Lambda Calculus Parser-Reducer [Haskell & Python] [View Source Code]
This is a parser and reducer program for the lambda calculus, a mathematical system at the foundations of much of computer science, which was introduced by Alonzo Church in the 1930s. This particular program includes some extensions to the syntax to aid using the lambda calculus as a basic programming language.
The sctrails.net site search feature frustrates me to no end, so I created a new search page for the site by downloading the trail data with a Node.js scraper script, exporting it as JSON, and using Python to handle searches of the trail data.
Ticobot Project [ROS] [For Work]
The Ticobot is a robot designed to operate in sparsely wooded grasslands, collecting ticks to determine the disease profile of an area. I worked with Sam Dauchert (Dauway Robotics) from January 2019 through December 2020 to put together the navigation system for the Ticobot. The open-source components of the prototype will be published at some point in the future.
MIPS CPU [Verilog] [View Source Code]
This is a MIPS CPU design I originally made for CSCE 611 Advanced Digital Design, and updated to be simulated using Verilator.
VDex [Rust & Python] [View Source Code]
Jetyak MTS/IEEE OCEANS Paper [For Work] [Download Paper]
The jetyaks are autonomous surface vehicles based on the Mokai ES-Kape and Pixhawk autopilot. This paper, An Autonomous Surface Vehicle for Long Term Operations, was presented at the 2018 OCEANS conference in Charleston, describing the design of the vehicles. A number of other papers have been published using the jetyaks (many of which are related to the other coverage research I worked on at the AFRL), available at afrl.cse.sc.edu/afrl/publications.