Zinal

Before I went to UChicago, I built a structure editor that could self-host -

I’m no longer working on Zinal, as it’s a long ways from being the most mature or most promising structure editor. That said, I think there are still a few points that it conveys more firmly than anything else I’m aware of.

Research

Delta Dictionaries: Total and Extensional Finite Maps in Proof Assistants
Nick Collins
Master’s Paper, University of Chicago

Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
PLDI 2021

Program Sketching with Live Bidirectional Evaluation
Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh
In Proceedings of the ACM on Programming Languages (PACMPL), Issue ICFP
ICFP 2020

UT Austin Villa: RoboCup 2012 3D Simulation League Champion
Patrick MacAlpine, Nick Collins, Adrian Lopez-Mobilia, and Peter Stone
In RoboCup-2012: Robot Soccer World Cup XVI
Lecture Notes in Computer Science, vol 7500
LNCS 2013

Transformation of Robot Model to Facilitate Optimization of Locomotion
Nick Collins
Undergrad honors thesis, University of Texas at Austin Computer Science