emilyhorsman Goto Github PK

1jc3-elm-chart

3ea3-final-project

4z03

Directed reading of Parallel and Concurrent Programming in Haskell (Simon Marlow) with Dr. Christopher Anand

4zp6

Telemetry simplifies data consumption for fleets of Arduino-compatible microcontrollers.

academic

adventofcode

agda

Agda is a dependently typed programming language / interactive theorem prover.

bikeblog

bikes.emilyhorsman.com

butter-proxy

Passes incoming requests to locally running development servers

buttercup

A Hugo theme w/ Go Templates

c-practice

c25k-running

Couch-to-5K running plan progress

codeofconductlink

A software community tracker to highlight projects with a Code of Conduct and underrepresented authors/contributors.

cryptopals

Solutions to https://cryptopals.com/

cs-1jc3-2016

Course repository of CS 1JC3 for Fall 2016

django

The Web framework for perfectionists with deadlines.

does-hamilton-have-lrt-yet

dotfiles

stuff

dotfiles-archived

electronics-experiments

elm-bitmap

Let's learn about bézier curves and stuff

elm-haskell-stm

An example of GraphicSVG, WebSockets, and Haskell with Software Transactional Memory

elm-scheme-interpreter

elm-speechrecognition-interop

A project utilizing Elm's JavaScript interop for the Web Speech API

elm-statediagrams

State diagram module and examples for Intro to Comp. Thinking tutorials

elm-type-inference

A parser (using megaparsec) and type inference engine for Elm source code

em-hv-fedora-ansible

Ansible playbook for Fedora machine

emilyhorsman.com

Personal website written with Wagtail

emilyhorsmandotcom