chobbes Goto Github PK

saw-script

The SAW scripting language.

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.

serialport

Cross platform haskell library for using the serial port

serialtimer

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

shared-fields

a tiny library for using shared lens fields

sin-validate

Program to validate Canadian social insurance numbers.

snackbot

Slack bot for snacks.

steam-overlay

Gentoo overlay for Valve's Steam client and Steam-based games

survivalplot

Plot survival curves.

timepaper

Create a wallpaper displaying your average time usage!

tinymod4haskell

tokens

An offshoot of the tokens module from Parsec, with subtle improvements for the handling of whitespace.

toyfecta

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

trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

typenotes

Hakyll website with notes for type related things. Theory, Coq, Agda, Idris, and whatever.

typetalk

Calvin Talks Types

undefined-behaviour-talk

vellvm

The Vellvm II coq development.

vellvm-testing-presentation

Presentation for CIS-700 about the initiative to use QuickChick on Vellvm

vst

Verified Software Toolchain

xml

Various XML utility packages for Haskell

xmonad-contrib

Contributed modules for xmonad

xmopp

A haskell XMPP server.

zlib

Compression and decompression in the gzip and zlib formats