Calvin Beck (@Chobbes)
github

Chobbes

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

org-chef

A package for making a cookbook and managing recipes with org-mode.
Emacs Lisp
302
star
2

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!
C++
5
star
3

PiBellards

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

Coqplexity

Reasoning about complexity classes in Coq with Coquelicot
Coq
3
star
5

MooXtract

A simple Haskell program for extracting Moodle submissions.
Haskell
3
star
6

DocsDuck

Haskell script to upload Moodle grade sheets into DocsDB automagically! Yay magic!
Haskell
3
star
7

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!
Haskell
3
star
8

HaRay

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

cofq

System F in Coq
Coq
2
star
10

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.
Common Lisp
2
star
11

SnackBot

Slack bot for snacks.
Haskell
2
star
12

dsss17-slack

#coq from the DSSS17 slack summarized.
2
star
13

reflex-GLFW-b-luminance

GLFW-b and luminance reflex interface.
Haskell
2
star
14

TimePaper

Create a wallpaper displaying your average time usage!
Haskell
2
star
15

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!
Haskell
2
star
16

gradelens.el

An Emacs grading tool.
Emacs Lisp
1
star
17

XMOPP

A haskell XMPP server.
Haskell
1
star
18

LCDConvert

Convert images to the .lcd format (raw 16 byte colour values).
Haskell
1
star
19

MultiKill

Combine multiple imputation models for great justice.
Haskell
1
star
20

ForceGraphs

Dinky Haskell project for force directed graph drawing.
Haskell
1
star
21

ReflexPong

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

c495-presentation-2015

Presentation on Formal Verification / Coq / Whatever.
TeX
1
star
23

Rotunda

The scheduler of life.
Haskell
1
star
24

Chug

C suggestions and linting.
Haskell
1
star
25

attoIssue

Haskell
1
star
26

Pastor

Simple pastebin application to test Servant.
Haskell
1
star
27

SIN-validate

Program to validate Canadian social insurance numbers.
Haskell
1
star
28

ToyFecta

Playing around with ekmett's Trifecta library for magical parsing of wonders!
Haskell
1
star
29

SurvivalPlot

Plot survival curves.
Haskell
1
star
30

hark

A simple tool for automatically grading assignments
Haskell
1
star
31

bb

Haskell
1
star
32

BatchMTLR

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

undefined-behaviour-talk

TeX
1
star
34

FeatureSquish

Remove features at random from a data set for great justice.
Haskell
1
star
35

ob-llvm

Org-babel for LLVM optimizations.
Emacs Lisp
1
star
36

mci-haskell

Modern Compiler Implementation in Haskell
Haskell
1
star
37

SerialTimer

Programs to time how fast an Arduino can send things over the serial port.
Haskell
1
star
38

bctfcs

Basic Category Theory for Computer Scientists in Coq
1
star
39

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.
C
1
star
40

BananaDay

Playing with reactive banana for fun and profit.
Haskell
1
star
41

Plovert

A glorious program to convert Plover's JSON dictionary to a Cheno dictionary. Possibly others in the future too! In Haskell! BAM!
Haskell
1
star
42

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.
Haskell
1
star
43

NoteTakers

Scripts and templates for taking notes in LaTeX.
Makefile
1
star
44

MuxDuino

A library for turning an Arduino into a fancy pants multiplexing / routing machine! Redirect inputs to other output pins allowing you to connect a series of devices in a network of arbitrary topologies!
C++
1
star
45

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!
C
1
star
46

paper-handler

Takes file of <firstname>:<email> entries, a file of names, and generates a file of e-mail entries for those names.
Haskell
1
star