Pinned Repositories
agda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017
hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
obt2017
submission to OBT2017
agda-stdlib
The Agda standard library
agdademo
"Proving Theorems About Functional Programs" code and patter
alga
Algebraic graphs
bidirectional
brass-energy-monitor
Gazebo energy monitor plugin for BRASS project
consumable
cooltt
😎TT
ivoysey's Repositories
ivoysey/agda-stdlib
The Agda standard library
ivoysey/agdademo
"Proving Theorems About Functional Programs" code and patter
ivoysey/alga
Algebraic graphs
ivoysey/bidirectional
ivoysey/brass-energy-monitor
Gazebo energy monitor plugin for BRASS project
ivoysey/consumable
ivoysey/cooltt
😎TT
ivoysey/Dockerfile.BRASS
ivoysey/ganache
A tool for creating a local blockchain for fast Ethereum development.
ivoysey/histo
simple authenticated histogram site
ivoysey/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
ivoysey/LIVE2017
Hazelnut Live submission to the LIVE 2017 workshop
ivoysey/maint
ivoysey/Obsidian
Obsidian language development
ivoysey/obt2018
ivoysey/popl2017-papers
Link to preprints for POPL'17 and co-located events
ivoysey/rct
ivoysey/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
ivoysey/scottbot-int-ex
ivoysey/TurtleBot.Dockerfile
Provides a Dockerfile for TurtleBot (to be run on hardware), built on top of ROS Indigo
ivoysey/wyvern
The Wyvern programming language.