EpicOrange

purescript-react-keybind

PureScript bindings for react-keybind: https://github.com/UnicornHeartClub/react-keybind

03-fold

Starter code for hw3

5dchess-notation

My attempt at a notation for 5D chess

advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

adventofcode-solutions

My Haskell solutions for https://adventofcode.com/2017

book

A textbook on informal homotopy type theory

canvas-lms

The open LMS by Instructure, Inc.

Cataclysm-DDA

Cataclysm - Dark Days Ahead. A fork/variant of Cataclysm Roguelike by Whales.

cmus

Small, fast and powerful console music player for Unix-like operating systems.

COGS108_Repo

repo for COGS 108 assignments

coxir

An Elixir wrapper for Discord.

dot2tex

Convert graphs generated by Graphviz to LaTeX friendly formats

dwitter

Social network for short js demos

element-capture

Command line utility. Given URL and jQuery selector, return element innerHTML. Uses CasperJS.

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

lab2

MyFirstPullRequest

To be used for the assignments in Cogs 108

package-sets

PureScript packages for Spago and Psc-Package

Projects

Final Project materials and description.

purescript-screeps

PureScript wrapper library for the Screeps game API (https://screeps.com)

purescript-tuples-native

Implementation of tuples as a flat heterogeneous array, for FFI

registry

sms-ie

SMS Import / Export is a simple Android app that imports and exports SMS and MMS messages and call logs from and to JSON files.

Sublime-refine-multi-selections

Sublime plugin for selecting the edges of selected text

SubmaRogue

tftest

TensorFlow playground

tomenet

TomeNET is an online multiplayer roguelike role-playing game

treesheets

TreeSheets : Free Form Data Organizer (see treesheets.com)

TreeStudyTool

Study tool that pulls definitions out of your notes

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)