Calvin Beck

org-chef. A package for making a cookbook and managing recipes with org-mode.

EmulArd. Arduino emulation! Well, sort of! A fake Arduino.h and black magic for testing Arduino code on any computer, and it even allows you to test entire networks of Arduinos!

PiBellards. Implementation of Bellard's algorithm for calculating pi to 'n' digits in Haskell.

Haithon. A Haskell parser for a subset of the Python language. The intention of this project is two-fold! Firstly, I wish to try out Parsec's handling of indentation sensitive languages, and secondly I want to experiment with using this as some course material!

DocsDuck. Haskell script to upload Moodle grade sheets into DocsDB automagically! Yay magic!

Coqplexity. Reasoning about complexity classes in Coq with Coquelicot

MooXtract. A simple Haskell program for extracting Moodle submissions.

SnackBot. Slack bot for snacks.

dsss17-slack. #coq from the DSSS17 slack summarized.

cofq. System F in Coq

Hipster. A Haskell MIPS EDSL. Mostly for "educational purposes" (TM). More seriously the goal of this is to explore assembly DSLs in Haskell, and see how they're put together and what makes them tick. Can these be useful? Probably! One of the main goals is to allow for composable abstractions of assembly code, and automatic register allocation / spilling. In theory this could be more general and support multiple backends (after all there is overlap with LLVM's functionality), but an additional goal is to be able to generate readable, and documented assembly code. Because of this, it's beneficial to stick to one target assembly language, at least for experimentation!

TimePaper. Create a wallpaper displaying your average time usage!

reflex-GLFW-b-luminance. GLFW-b and luminance reflex interface.

Schimpy. Language for the formal verification of Arduino code. The compiler generates executable Arduino code, as well as models for both the NuSMV model checker and the PRISM model checker which can be used to verify that certain properties on the program hold.

HaRay. Hurray, it's HaRay! Yet another Haskell ray-tracer based on accelerate.

existential-coinduction-experiments. Trying to do existential proofs with coinductive values.

XMOPP. A haskell XMPP server.

Idris-dev. A Dependently Typed Functional Programming Language

SurvivalPlot. Plot survival curves.

ReflexPong. Pong in Haskell using the Reflex FRP framework. Not necessarily a game of significant reflexes.

ToyFecta. Playing around with ekmett's Trifecta library for magical parsing of wonders!

Rotunda. The scheduler of life.

SerialTimer. Programs to time how fast an Arduino can send things over the serial port.

bctfcs. Basic Category Theory for Computer Scientists in Coq

BatchMTLR. Run the PSSP MTLR program from http://pssp.srv.ualberta.ca/downloads/new across numerous training sets.

mci-haskell. Modern Compiler Implementation in Haskell

MultiKill. Combine multiple imputation models for great justice.

c495-presentation-2015. Presentation on Formal Verification / Coq / Whatever.

Chug. C suggestions and linting.

pandoc. Universal markup converter

attoIssue. Haskell

BananaDay. Playing with reactive banana for fun and profit.

FeatureSquish. Remove features at random from a data set for great justice.

bb. Haskell

gradelens.el. An Emacs grading tool.

Pastor. Simple pastebin application to test Servant.

SIN-validate. Program to validate Canadian social insurance numbers.

mathform. Transform your maths into other maths! A Haskell library / utility for converting mathematical expressions between representations. For instance you might convert some LaTeX arithmetic to a format that can be plugged directly into Sage, Python, or Haskell.

ImpMutate. Convert files to the MTLR format.

undefined-behaviour-talk. TeX

LCDConvert. Convert images to the .lcd format (raw 16 byte colour values).

QuickChick. Randomized Property-Based Testing Plugin for Coq

ob-llvm. Org-babel for LLVM optimizations.

hark. A simple tool for automatically grading assignments

HubGen. This is a simple little C program that uses the MuxParse library to parse a ".mux" file which describes a pin mapping on an Arduino (essentially tells you what inputs should be redirected to what outputs), and then using the information from the ".mux" file generates an Arduino C++ program which uses the MuxDuino library to make the Arduino actually redirect inputs and outputs as specified in the file!

MuxParse. A library for parsing .mux files -- these are files used to describe a network for an Arduino hub. Basically the files give a mapping of certain inputs to certain outputs on an Arduino.