Pinned Repositories
18734-project
docs
miscellaneous-stuff
navigation
ROS Navigation stack. Code for finding where the robot is and how it can get somewhere else.
ros-transmogrifier
thesis-proposal-template
trinity
tslwyvern
An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.
visual_crypto
wyvern
The Wyvern programming language.
selvasamuel's Repositories
selvasamuel/18734-project
selvasamuel/docs
selvasamuel/miscellaneous-stuff
selvasamuel/navigation
ROS Navigation stack. Code for finding where the robot is and how it can get somewhere else.
selvasamuel/ros-transmogrifier
selvasamuel/thesis-proposal-template
selvasamuel/trinity
selvasamuel/tslwyvern
An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.
selvasamuel/visual_crypto
selvasamuel/wyvern
The Wyvern programming language.
selvasamuel/wyvern-copper
A github clone of the MELT Copper project. Home: http://melt.cs.umn.edu/copper/
selvasamuel/wyvernlang.github.io
Wyvern website