ivoysey

ivoysey's Stars

• dlareau/sharedle

  For sharing wordle results between friends

  Language:Python43

• mcoblenz/Obsidian

  Obsidian language development

  Language:Scala7610

• jespercockx/ataca

  A TACtic library for Agda

  Language:Agda483

• hazelgrove/hazelnut-dynamics-agda

  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics

  Language:Agda203

• wenkokke/msla2014

  wherein I implement several substructural logics in Agda

  Language:Agda242

• spotify/dockerfile-mode

  An emacs mode for handling Dockerfiles

  Language:Emacs Lisp52978

• rkistner/chinese-postman

  Python application to solve the Chinese postman problem

  Language:Python5515

• supermitch/Chinese-Postman

  My Python solution to the Chinese-Postman problem.

  Language:Python3918

• hazelgrove/hazelnut-icfp17

  possible submission to icfp17, extending hazelnut with dynamics

  Language:TeX1

• hazelgrove/HZ

  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

  Language:OCaml293

• schmerl/LLStaging

  Staging area for releases to Lincoln Labs

  Language:Python2

• schmerl/TurtleBot-Packages

  Language:Python1

• ekanshgupta90/ig_action_server

  Instruction graphs are a DSL created to move a robot in ROS. The following interpreter works for Turtlebot.

  Language:Python1

• hazelgrove/hazelgrove.github.io

  Website for hazelgrove project

  Language:HTML12

• hazelgrove/artifact-popl17

  POPL17 paper artifact

  3

• hazelgrove/hazelnut-popl17

  Submission to POPL 2017

  Language:TeX21

• gvoysey/thesis

  Development of a Flexible Modeling Environment for Evaluating Subcortical Auditory Systems

  Language:TeX1

• hazelgrove/agda-popl17

  Mechanization of Hazelnut, as submitted to POPL 2017

  Language:Agda161

• kjkjava/garmin-connect-export

  Download a copy of your Garmin Connect data, including stats and GPX tracks.

  Language:Python314133